Editing: DebugLoggerInterface.php