MediaWiki  1.34.4
DumpStringOutput.php
Go to the documentation of this file.
1 <?php
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