Manual:RenderDump.php/de-formal

Details
renderDump.php is a maintenance script to take page text out of an XML dump file and render basic HTML out to files.

This is not suitable for publishing or offline use; it's intended for running comparative tests of parsing behavior using real-world data.

Templates etc are pulled from the local wiki database, not from the dump.

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

You execute this script by passing an XML dump (generated with ) through standard in.