Manual:DumpGZipOutput.php