|MediaWiki file: eraseArchivedFile.php|
|Source code:||master • 1.35.1 • 1.31.12|
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 filearchive table.
|--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.