✏️ Editing: ServerInformationDomainsType.php