Manual:EraseArchivedFile.php/de-formal

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