MediaWiki master
DumpOutput.php
Go to the documentation of this file.
1<?php
16
20 public function writeOpenStream( $string ) {
21 $this->write( $string );
22 }
23
27 public function writeCloseStream( $string ) {
28 $this->write( $string );
29 }
30
35 public function writeOpenPage( $page, $string ) {
36 $this->write( $string );
37 }
38
42 public function writeClosePage( $string ) {
43 $this->write( $string );
44 }
45
50 public function writeRevision( $rev, $string ) {
51 $this->write( $string );
52 }
53
58 public function writeLogItem( $rev, $string ) {
59 $this->write( $string );
60 }
61
66 public function write( $string ) {
67 print $string;
68 }
69
77 public function closeRenameAndReopen( $newname ) {
78 }
79
88 public function closeAndRename( $newname, $open = false ) {
89 }
90
96 public function getFilenames() {
97 return null;
98 }
99}
writeOpenPage( $page, $string)
writeOpenStream( $string)
writeRevision( $rev, $string)
write( $string)
Override to write to a different stream type.
getFilenames()
Returns the name of the file or files which are being written to, if there are any.
writeClosePage( $string)
writeCloseStream( $string)
closeRenameAndReopen( $newname)
Close the old file, move it to a specified name, and reopen new file with the old name.
closeAndRename( $newname, $open=false)
Close the old file, and move it to a specified name.
writeLogItem( $rev, $string)