MediaWiki
1.34.0
DumpStringOutput.php
Go to the documentation of this file.
1
<?php
27
class
DumpStringOutput
extends
DumpOutput
{
28
private
$output
=
''
;
29
33
function
write
( $string ) {
34
$this->output .= $string;
35
}
36
42
public
function
__toString
() {
43
return
$this->output
;
44
}
45
}
DumpStringOutput\__toString
__toString()
Get the string containing the output.
Definition:
DumpStringOutput.php:42
DumpStringOutput\write
write( $string)
Definition:
DumpStringOutput.php:33
DumpOutput
Definition:
DumpOutput.php:29
DumpStringOutput\$output
$output
Definition:
DumpStringOutput.php:28
DumpStringOutput
Definition:
DumpStringOutput.php:27
includes
export
DumpStringOutput.php
Generated on Thu Dec 19 2019 14:54:18 for MediaWiki by
1.8.16