Translations:Manual:DumpInterwiki.php/3/en

It was moved to the $WikimediaMaintenance extension in $rev.