private function readLine() { if (!$this->readline) { $line = trim(fgets($this->stdin)); if ($line !== "") { $this->buffer[] = $line; } } else { readline_callback_read_char(); } }