✏️ Editing: ServerInfoType.php