Manual:DeleteArchivedFiles.php/de-formal

Details
deleteArchivedFiles.php file is a maintenance script to delete all archived files. Information about these files is stored in the table. This script allows to delete the actual files from the filesystem - if used without --force, it does however keep the entries in the aforementioned table.