✏️ Editing: DnsExtensionType.php