✏️ Editing: ServerMailAutodiscoverType.php