Jump to content

Manuel:renderDump.php

From mediawiki.org
This page is a translated version of the page Manual:RenderDump.php and the translation is 100% complete.

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 DumpBackup.php ) par l'entrée standard.