MediaWiki
master
DumpGZipOutput.php
Go to the documentation of this file.
1
<?php
29
class
DumpGZipOutput
extends
DumpPipeOutput
{
33
public
function
__construct
( $file ) {
34
parent::__construct(
"gzip"
, $file );
35
}
36
}
DumpGZipOutput
Definition
DumpGZipOutput.php:29
DumpGZipOutput\__construct
__construct( $file)
Definition
DumpGZipOutput.php:33
DumpPipeOutput
Definition
DumpPipeOutput.php:33
includes
export
DumpGZipOutput.php
Generated on Sat Dec 7 2024 22:23:57 for MediaWiki by
1.10.0