✏️ Editing: ServerMailAutoreplyHeaderType.php