refactor: redefine String.replace
#19241
copyright-header.yml
on: pull_request
check-lean-files
29s
String.replace
#19241