Translations:Manual:RenderDump.php/2/en

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