MediaWiki REL1_33
DumpOutput.php
Go to the documentation of this file.
1<?php
29class 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}
and
and that you know you can do these things To protect your we need to make restrictions that forbid anyone to deny you these rights or to ask you to surrender the rights These restrictions translate to certain responsibilities for you if you distribute copies of the or if you modify it For if you distribute copies of such a whether gratis or for a you must give the recipients all the rights that you have You must make sure that receive or can get the source code And you must show them these terms so they know their rights We protect your rights with two and(2) offer you this license which gives you legal permission to copy
DumpOutput\writeOpenPage
writeOpenPage( $page, $string)
Definition DumpOutput.php:49
DumpOutput\writeOpenStream
writeOpenStream( $string)
Definition DumpOutput.php:34
DumpOutput\writeRevision
writeRevision( $rev, $string)
Definition DumpOutput.php:64
DumpOutput\write
write( $string)
Override to write to a different stream type.
Definition DumpOutput.php:80
DumpOutput\getFilenames
getFilenames()
Returns the name of the file or files which are being written to, if there are any.
Definition DumpOutput.php:110
DumpOutput\writeClosePage
writeClosePage( $string)
Definition DumpOutput.php:56
DumpOutput\writeCloseStream
writeCloseStream( $string)
Definition DumpOutput.php:41
DumpOutput\closeRenameAndReopen
closeRenameAndReopen( $newname)
Close the old file, move it to a specified name, and reopen new file with the old name.
Definition DumpOutput.php:91
DumpOutput\closeAndRename
closeAndRename( $newname, $open=false)
Close the old file, and move it to a specified name.
Definition DumpOutput.php:102
DumpOutput\writeLogItem
writeLogItem( $rev, $string)
Definition DumpOutput.php:72
$rev
presenting them properly to the user as errors is done by the caller return true use this to change the list i e etc $rev
Definition hooks.txt:1779
print
while(( $__line=Maintenance::readconsole()) !==false) print
Definition eval.php:64