public function readStdin() { $in = ''; while (!feof(STDIN)) { $in .= fgets(STDIN, 1024); } return $in; }