MediaWiki  master
DumpOutput.php
Go to the documentation of this file.
1 <?php
29 class DumpOutput {
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)
Definition: DumpOutput.php:49
writeOpenStream( $string)
Definition: DumpOutput.php:34
writeRevision( $rev, $string)
Definition: DumpOutput.php:64
write( $string)
Override to write to a different stream type.
Definition: DumpOutput.php:80
getFilenames()
Returns the name of the file or files which are being written to, if there are any.
Definition: DumpOutput.php:110
writeClosePage( $string)
Definition: DumpOutput.php:56
writeCloseStream( $string)
Definition: DumpOutput.php:41
closeRenameAndReopen( $newname)
Close the old file, move it to a specified name, and reopen new file with the old name.
Definition: DumpOutput.php:91
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