✏️ Editing: ServerDetachedEventHandler.php