MediaWiki REL1_37
DumpStringOutput.php
Go to the documentation of this file.
1<?php
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}
__toString()
Get the string containing the output.