DumpFilter.php

Go to the documentation of this file.

<?php
class DumpFilter {
    public $sink;
 
    protected $sendingThisPage;
 
    public function __construct( &$sink ) {
        $this->sink =& $sink;
    }
 
    public function writeOpenStream( $string ) {
        $this->sink->writeOpenStream( $string );
    }
 
    public function writeCloseStream( $string ) {
        $this->sink->writeCloseStream( $string );
    }
 
    public function writeOpenPage( $page, $string ) {
        $this->sendingThisPage = $this->pass( $page );
        if ( $this->sendingThisPage ) {
            $this->sink->writeOpenPage( $page, $string );
        }
    }
 
    public function writeClosePage( $string ) {
        if ( $this->sendingThisPage ) {
            $this->sink->writeClosePage( $string );
            $this->sendingThisPage = false;
        }
    }
 
    public function writeRevision( $rev, $string ) {
        if ( $this->sendingThisPage ) {
            $this->sink->writeRevision( $rev, $string );
        }
    }
 
    public function writeLogItem( $rev, $string ) {
        $this->sink->writeRevision( $rev, $string );
    }
 
    public function closeRenameAndReopen( $newname ) {
        $this->sink->closeRenameAndReopen( $newname );
    }
 
    public function closeAndRename( $newname, $open = false ) {
        $this->sink->closeAndRename( $newname, $open );
    }
 
    public function getFilenames() {
        return $this->sink->getFilenames() ?? [];
    }
 
    protected function pass( $page ) {
        return true;
    }
}