MediaWiki REL1_34
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}
__toString()
Get the string containing the output.