DumpGZipOutput.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Export;
 
class DumpGZipOutput extends DumpPipeOutput {
    public function __construct( $file ) {
        parent::__construct( "gzip", $file );
    }
}
 
class_alias( DumpGZipOutput::class, 'DumpGZipOutput' );