DumpGZipOutput.php

Go to the documentation of this file.

<?php
class DumpGZipOutput extends DumpPipeOutput {
    function __construct( $file ) {
        parent::__construct( "gzip", $file );
    }
}