Manual:DeleteArchivedFiles.inc

Details
deleteArchivedFiles.inc was a helper file for .

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

It was split back out again in MediaWiki 1.17 and has eventually again been removed in June 2014.