Manual:DeleteArchivedFiles.inc/en

Details
deleteArchivedFiles.inc is a helper file for. In MediaWiki 1.16, it was merged into deleteArchivedFiles.php. This was split back out again in MediaWiki 1.17.