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  from the filesystem.

When the script is run with   or with  , it will purge the thumbnails of the according image - even, if   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.