Translations:Manual:RenameWiki.php/2/en

It is Wikimedia-specific, and it was moved to the $WikimediaMaintenance extension in $rev.