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 <tvar|filearchive></> table.

詳細
eraseArchivedFile.php file is a maintenance script to delete the archived file provided by --filekey</tt> from the filesystem.

When the script is run with --filekey</tt> or with --filename</tt>, it will purge the thumbnails of the according image - even, if --delete</tt> 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. これらのファイルについての情報は、 テーブル内に格納されています.

関連項目

 * - Script to permanently remove all deleted files.