Translations:Manual:EraseArchivedFile.php/2/en

$file file is a maintenance script to delete the archived file provided by  from the filesystem.