✏️ Editing: DebuggerInterface.php