✏️ Editing: ExtensionsIdDisable.php