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