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.

When the script is run with --filekey or with --filename, it will purge the thumbnails of the according image - even, if --delete has not been specified. That way you can use the script to force a re-rendering of the thumbnails without having to re-upload the image.

Information about deleted files is stored in the  table.