Manual:Dump7ZipOutput.php