public function write($text, $pipe = TextWriter::STDOUT) { $f = fopen('php://' . $pipe, 'w'); fwrite($f, $text); fclose($f); }