Manual:DeleteArchivedFiles.inc/de-formal

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.