Translations:Manual:RenameDbPrefix.php/4/en

The wiki will have to get downtime to do this correctly.