✏️ Editing: ExtensionType.php