Manual:DumpIterator.php/de-formal

Details
dumpIterator.php file is a maintenance script to take page text out of an XML dump file and perform some operation on it.