Translations:Manual:RenderDump.php/2/fr

Le fichier renderDump.php est un script de maintenance pour extraire du texte de page d'un fichier de vidage XML et le rendre en HTML basique vers des fichiers.