Depending on the config, VisualEditor can define contradictory user preferences for enabling/disabling it:
- When the BetaFeatures extension is not installed, there are two preferences under Editing: "Enable the visual editor (…)" and "Temporarily disable the visual editor (…)"
- When the BetaFeatures extension is installed, and $wgVisualEditorEnableBetaFeature is set to true, there is the beta feature preference "Visual editing" and an additional preference under Editing: "Temporarily disable the visual editor (…)"
Expected behavior:
- When the BetaFeatures extension is installed, and $wgVisualEditorEnableBetaFeature is set to true, only the beta feature preference should appear
- Otherwise, only the "Temporarily disable the visual editor (…)" preference should appear
This bug actually affects Wikimedia wikis, but we have a workaround for this problem: the extraneous preference is hidden using $wgHiddenPrefs.