Editing: BufferedConsoleOutput.php