Translations:Extension:Replace Text/7/en

Usage
Replace Text defines a special page, at "$1" (or its equivalent in another language), that handles global searching and replacing; it also defines a script, replaceAll.php, that does the same thing from the command line.