MediaWiki
master
DumpGZipOutput.php
Go to the documentation of this file.
1
<?php
15
class
DumpGZipOutput
extends
DumpPipeOutput
{
19
public
function
__construct
( $file ) {
20
parent::__construct(
"gzip"
, $file );
21
}
22
}
DumpGZipOutput
Definition
DumpGZipOutput.php:15
DumpGZipOutput\__construct
__construct( $file)
Definition
DumpGZipOutput.php:19
DumpPipeOutput
Definition
DumpPipeOutput.php:19
includes
Export
DumpGZipOutput.php
Generated on Thu Dec 11 2025 04:24:20 for MediaWiki by
1.10.0