Manual:EraseArchivedFile.php/en

Details
eraseArchivedFile.php file is a maintenance script to delete the archived file provided by --filekey from the filesystem. Information about these files is stored in the filearchive table.