✏️ Editing: UpdateServerMailAutodiscoverInputType.php