MediaWiki master
DumpDBZip2Output.php
Go to the documentation of this file.
1<?php
33 public function __construct( $file ) {
34 parent::__construct( "dbzip2", $file );
35 }
36}