Manual:EraseArchivedFile.php/en

Details
eraseArchivedFile.php file is a 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.