✏️ Editing: UpdateServerMailAutoreplyHeaderInputType.php