Manual:PreprocessDump.php/de-formal

Details
preprocessDump.php file is a maintenance script to take page text out of an XML dump file and preprocess it to obj.