Board Thread:Technical Updates/@comment-24006128-20200319160218/@comment-37336800-20200319172949

MisterWoodhouse wrote: Preferences

- The preferred editor preference was successfully transitioned to handle the two modes of the 2017 Editor, rather than the discrete editor options of the legacy platform

Setting this as a dropdown removed the ability to use the extremely basic editor, which was the only option for the people who didn't want to load the js-heavy Visual/Source Editor. It loaded instantly as part of the page, whereas the VE takes a good 2-5 seconds no matter how long the page you're editing is. Please return the ability to use the default mediawiki editor (the first entry, 2003)!

Edit: If you disable browser JS you get the default editor, but then you lose the abilty to add syntax highlighting. An option to "Use non-JavaScript interface" like in the Watchlist and Recent Changes sections for the editor would be much appreciated!