MediaWiki REL1_35
DumpLatestFilter.php
Go to the documentation of this file.
1<?php
30 public $page;
31
33
34 public $rev;
35
36 public $revString;
37
42 public function writeOpenPage( $page, $string ) {
43 $this->page = $page;
44 $this->pageString = $string;
45 }
46
50 public function writeClosePage( $string ) {
51 if ( $this->rev ) {
52 $this->sink->writeOpenPage( $this->page, $this->pageString );
53 $this->sink->writeRevision( $this->rev, $this->revString );
54 $this->sink->writeClosePage( $string );
55 }
56 $this->rev = null;
57 $this->revString = null;
58 $this->page = null;
59 $this->pageString = null;
60 }
61
66 public function writeRevision( $rev, $string ) {
67 if ( $rev->rev_id == $this->page->page_latest ) {
68 $this->rev = $rev;
69 $this->revString = $string;
70 }
71 }
72}
writeRevision( $rev, $string)
writeOpenPage( $page, $string)