MediaWiki
REL1_40
DumpStringOutput.php
Go to the documentation of this file.
1
<?php
27
class
DumpStringOutput
extends
DumpOutput
{
29
private
$output =
''
;
30
34
public
function
write
( $string ) {
35
$this->output .= $string;
36
}
37
43
public
function
__toString
() {
44
return
$this->output;
45
}
46
}
DumpOutput
Definition
DumpOutput.php:29
DumpStringOutput
Definition
DumpStringOutput.php:27
DumpStringOutput\__toString
__toString()
Get the string containing the output.
Definition
DumpStringOutput.php:43
DumpStringOutput\write
write( $string)
Definition
DumpStringOutput.php:34
includes
export
DumpStringOutput.php
Generated on Thu Jun 27 2024 14:02:43 for MediaWiki by
1.10.0