MediaWiki master
DumpOutput.php
Go to the documentation of this file.
1<?php
30
34 public function writeOpenStream( $string ) {
35 $this->write( $string );
36 }
37
41 public function writeCloseStream( $string ) {
42 $this->write( $string );
43 }
44
49 public function writeOpenPage( $page, $string ) {
50 $this->write( $string );
51 }
52
56 public function writeClosePage( $string ) {
57 $this->write( $string );
58 }
59
64 public function writeRevision( $rev, $string ) {
65 $this->write( $string );
66 }
67
72 public function writeLogItem( $rev, $string ) {
73 $this->write( $string );
74 }
75
80 public function write( $string ) {
81 print $string;
82 }
83
91 public function closeRenameAndReopen( $newname ) {
92 }
93
102 public function closeAndRename( $newname, $open = false ) {
103 }
104
110 public function getFilenames() {
111 return null;
112 }
113}
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)