Translations:Manual:DumpTextPass.php/2/fr

Le fichier $file est un script de maintenance qui traite à postériori les vidages XML de $dumpback pour ajouter une page de texte substituée au bouchon (déclaré avec --stub).