Editing: ConsoleSignalEvent.php