Code Coverage for /workspace/src/includes/Export/DumpGZipOutput.php

1	<?php
2	/**
3	* Sends dump output via the gzip compressor.
4	*
5	* Copyright © 2003, 2005, 2006 Brooke Vibber <bvibber@wikimedia.org>
6	* https://www.mediawiki.org/
7	*
8	* @license GPL-2.0-or-later
9	* @file
10	*/
11
12	namespace MediaWiki\Export;
13
14	/**
15	* @ingroup Dump
16	*/
17	class DumpGZipOutput extends DumpPipeOutput {
18	/**
19	* @param string $file
20	*/
21	public function __construct( $file ) {
22	parent::__construct( "gzip", $file );
23	}
24	}
25
26	/** @deprecated class alias since 1.46 */
27	class_alias( DumpGZipOutput::class, 'DumpGZipOutput' );