✏️ Editing: ServerMailAntivirusExtensionType.php