Translations:Extension:Replace Text/31/en

The user then can hit "Replace" to do the actual replacement.