%PDF-
%PDF-
Mini Shell
Mini Shell
<?php
/**
* Base class for output stream; prints to stdout or buffer or wherever.
*
* Copyright © 2003, 2005, 2006 Brion Vibber <brion@pobox.com>
* https://www.mediawiki.org/
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @file
*/
/**
* @ingroup Dump
*/
class DumpOutput {
/**
* @param string $string
*/
function writeOpenStream( $string ) {
$this->write( $string );
}
/**
* @param string $string
*/
function writeCloseStream( $string ) {
$this->write( $string );
}
/**
* @param object $page
* @param string $string
*/
function writeOpenPage( $page, $string ) {
$this->write( $string );
}
/**
* @param string $string
*/
function writeClosePage( $string ) {
$this->write( $string );
}
/**
* @param object $rev
* @param string $string
*/
function writeRevision( $rev, $string ) {
$this->write( $string );
}
/**
* @param object $rev
* @param string $string
*/
function writeLogItem( $rev, $string ) {
$this->write( $string );
}
/**
* Override to write to a different stream type.
* @param string $string
* @return bool
*/
function write( $string ) {
print $string;
}
/**
* Close the old file, move it to a specified name,
* and reopen new file with the old name. Use this
* for writing out a file in multiple pieces
* at specified checkpoints (e.g. every n hours).
* @param string|array $newname File name. May be a string or an array with one element
*/
function closeRenameAndReopen( $newname ) {
}
/**
* Close the old file, and move it to a specified name.
* Use this for the last piece of a file written out
* at specified checkpoints (e.g. every n hours).
* @param string|array $newname File name. May be a string or an array with one element
* @param bool $open If true, a new file with the old filename will be opened
* again for writing (default: false)
*/
function closeAndRename( $newname, $open = false ) {
}
/**
* Returns the name of the file or files which are
* being written to, if there are any.
* @return null
*/
function getFilenames() {
return null;
}
}
Zerion Mini Shell 1.0