Last modified: 2014-05-06 23:34:05 UTC
Every editor can be disabled in preferences, but not CodeEditor. On Wikipedia it just loads on every Module: page, and even ignores the settings about WikiEditor (it loads WikiEditor even if disabled and hooks into it).
Is the toolbar toggle button insufficient? It should be persistent. I'm extremely wary of adding yet another user preference, though I agree that the overall inconsistency of where/how user preferences are set is troublesome.
As the toggle button status is stored in a cookie it is not persistent for users regularily switching browsers, or clearing their cookies, etc. Users who disabled WikiEditor will get it loaded even if CodeEditor is toggled off, which might be a problem for users with slow/expensive internet connection, slow browsers, etc.
Eh, i don't want to see this in the prefs as a plain user, but we could hide the pref, and use the toolbar button to toggle it using the api perhaps ? Nice to have, patches welcome :D
(In reply to comment #3) > Eh, i don't want to see this in the prefs as a plain user, but we could hide > the pref, and use the toolbar button to toggle it using the api perhaps ? Yup.
Based on discussion on this bug report, I tried to clarify the bug summary. I don't think adding a hidden user preference will be very difficult, so I've marked this bug report with the "easy" keyword accordingly.
I think it should also observe the WikiEditor preference, to make sure it doesn't load for people who have disabled that. In my opinion, those should be somewhat separate decisions but that might be troublesome in the short run.
Additional discussion occurring here: https://www.mediawiki.org/wiki/Thread:Extension_talk:CodeEditor/How_to_disable%3F
Change 130068 had a related patch set uploaded by TheDJ: Persistent disabling of CodeEditor https://gerrit.wikimedia.org/r/130068
Change 130068 merged by jenkins-bot: Persistent disabling of CodeEditor https://gerrit.wikimedia.org/r/130068
