MediaWiki  master
DumpOutput.php
Go to the documentation of this file.
1 <?php
29 class DumpOutput {
30 
34  function writeOpenStream( $string ) {
35  $this->write( $string );
36  }
37 
41  function writeCloseStream( $string ) {
42  $this->write( $string );
43  }
44 
49  function writeOpenPage( $page, $string ) {
50  $this->write( $string );
51  }
52 
56  function writeClosePage( $string ) {
57  $this->write( $string );
58  }
59 
64  function writeRevision( $rev, $string ) {
65  $this->write( $string );
66  }
67 
72  function writeLogItem( $rev, $string ) {
73  $this->write( $string );
74  }
75 
80  function write( $string ) {
81  print $string;
82  }
83 
91  function closeRenameAndReopen( $newname ) {
92  }
93 
102  function closeAndRename( $newname, $open = false ) {
103  }
104 
110  function getFilenames() {
111  return null;
112  }
113 }
writeOpenPage( $page, $string)
Definition: DumpOutput.php:49
writeRevision( $rev, $string)
Definition: DumpOutput.php:64
closeAndRename( $newname, $open=false)
Close the old file, and move it to a specified name.
Definition: DumpOutput.php:102
writeLogItem( $rev, $string)
Definition: DumpOutput.php:72
write( $string)
Override to write to a different stream type.
Definition: DumpOutput.php:80
writeClosePage( $string)
Definition: DumpOutput.php:56
writeOpenStream( $string)
Definition: DumpOutput.php:34
closeRenameAndReopen( $newname)
Close the old file, move it to a specified name, and reopen new file with the old name...
Definition: DumpOutput.php:91
getFilenames()
Returns the name of the file or files which are being written to, if there are any.
Definition: DumpOutput.php:110
writeCloseStream( $string)
Definition: DumpOutput.php:41