|fichier de MediaWiki : eraseArchivedFile.php|
|Code source :||master • 1.32.0 • 1.31.1|
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 is required). The file storage key is an entry from the |
|--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).|
- Manuel:DeleteArchivedFiles.php - Script to permanently remove all deleted files.