MediaWiki  1.34.0
DumpGZipOutput.php
Go to the documentation of this file.
1 <?php
29 class DumpGZipOutput extends DumpPipeOutput {
33  function __construct( $file ) {
34  parent::__construct( "gzip", $file );
35  }
36 }
$file
if(PHP_SAPI !='cli-server') if(!isset( $_SERVER['SCRIPT_FILENAME'])) $file
Item class for a filearchive table row.
Definition: router.php:42
DumpGZipOutput\__construct
__construct( $file)
Definition: DumpGZipOutput.php:33
DumpPipeOutput
Definition: DumpPipeOutput.php:33
DumpGZipOutput
Definition: DumpGZipOutput.php:29