|MediaWiki ファイル: eraseArchivedFile.php|
|ソース コード:||master • 1.37.0 • 1.36.2 • 1.35.4|
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.
|--filekey||Required. File storage key (with extension) for a specific version to be deleted or "*" for all versions (in that case, |
|--filename||File name (corresponds to the value of |
|--delete||Perform the deletion. Will delete the archived file and possible thumbnails, but will not delete its entry in the filearchive table (nor will it delete log messages of the upload/deletion of the now-deleted file).|
- Manual:deleteArchivedFiles.php - Script to permanently remove all deleted files.