✏️ Editing: DatabaseServerTypeEnumType.php