MediaWiki  master
DumpLatestFilter.php
Go to the documentation of this file.
1 <?php
31  public $page;
32 
34  public $pageString;
35 
37  public $rev;
38 
40  public $revString;
41 
46  public function writeOpenPage( $page, $string ) {
47  $this->page = $page;
48  $this->pageString = $string;
49  }
50 
54  public function writeClosePage( $string ) {
55  if ( $this->rev ) {
56  $this->sink->writeOpenPage( $this->page, $this->pageString );
57  $this->sink->writeRevision( $this->rev, $this->revString );
58  $this->sink->writeClosePage( $string );
59  }
60  $this->rev = null;
61  $this->revString = null;
62  $this->page = null;
63  $this->pageString = null;
64  }
65 
70  public function writeRevision( $rev, $string ) {
71  if ( $rev->rev_id == $this->page->page_latest ) {
72  $this->rev = $rev;
73  $this->revString = $string;
74  }
75  }
76 }
writeClosePage( $string)
stdClass null $page
stdClass null $rev
string null $revString
writeRevision( $rev, $string)
writeOpenPage( $page, $string)
string null $pageString