DumpLatestFilter.php

Go to the documentation of this file.

<?php
class DumpLatestFilter extends DumpFilter {
    public $page;
 
    public $pageString;
 
    public $rev;
 
    public $revString;
 
    public function writeOpenPage( $page, $string ) {
        $this->page = $page;
        $this->pageString = $string;
    }
 
    public function writeClosePage( $string ) {
        if ( $this->rev ) {
            $this->sink->writeOpenPage( $this->page, $this->pageString );
            $this->sink->writeRevision( $this->rev, $this->revString );
            $this->sink->writeClosePage( $string );
        }
        $this->rev = null;
        $this->revString = null;
        $this->page = null;
        $this->pageString = null;
    }
 
    public function writeRevision( $rev, $string ) {
        if ( $rev->rev_id == $this->page->page_latest ) {
            $this->rev = $rev;
            $this->revString = $string;
        }
    }
}