Translations:Manual:DeleteArchivedFiles.inc/5/en

In MediaWiki 1.16, it was merged into deleteArchivedFiles.php.