Manual:RenderDump.php/fr

Détails
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.

Ceci n'est pas pratique pour la publication ou l'utilisation hors ligne; il est prévu pour exécuter des tests comparatifs de comportements d'analyse en utilisant des données réelles

Les modèles etc sont sortis de la base de données du wiki locale, pas du vidage.

Utilisation
 php renderDump.php --output-dir /path/to/output/dir < /path/to/dump.xml

Ce script s'exécute en passant un vidage XML (généré avec ) par l'entrée standard.