Translations:Manual:EraseArchivedFile.php/2/fr

Le fichier $file est un script de maintenance qui supprime le fichier archivé fourni par  du système de fichier.