Manual:EraseArchivedFile.php

Details
eraseArchivedFile.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to delete the archived file provided by --filekey from the filesystem. Information about these files is stored in the fa-table>Special:MyLanguage/Manual:Filearchive table|filearchive table.