Last modified: 2014-01-03 16:16:53 UTC
Following the successful resolution of bug 39653, I'd like to see the CodeEditor extension enabled across all Wikimedia wikis, preferably much before a large-scale Scribunto deployment. I'd like users to get used to the editor, find/report bugs in it, etc. with JS and CSS pages before Scribunto/Lua is added to the mix. I believe this type of pure enhancement (with the ability to toggle off the editor) falls within the category of changes not needing widespread consensus, but if others feel otherwise, please let me know and I can start a discussion somewhere. The only part I'm a bit confused about is how persistent the toggle off is; it might need an associated user preference if it's currently just using a cookie. Maybe.
[-easy (not used anymore on configuration bugs) -shell (conflict with shellpolicy)]
*** Bug 42577 has been marked as a duplicate of this bug. ***
Greg: assigning this to you to figure out what next steps need to be taken in order to move this bug (or bug 42577, which I still think is a duplicate of this bug) forward.
This request seems to have gotten wrapped up in bug 39653. *** This bug has been marked as a duplicate of bug 39653 ***
