Editing: ConsoleOutputInterface.php