MusikAnimal 63cd3e4ff8 CodeMirror 6: show wikitext highlighting on protected pages ... It is necessary to have a way to toggle CodeMirror on and off, so we use WikiEditor and hide all other buttons. This is more costly than loading just vanilla CodeMirror, but it ensures a consistent experience with pages that are editable, with the toggle button in the familiar place. At a later time, WikiEditor may be updated to better support read only pages in a lightweight fashion (T188817). Bug: T301615 Change-Id: I8ea7597d07ff60a3f58ba306d2d6d12d3ec08b16		2024-03-11 17:35:20 -04:00
..
main.js	CodeMirror 6: show wikitext highlighting on protected pages	2024-03-11 17:35:20 -04:00
main.js.map.json	CodeMirror 6: show wikitext highlighting on protected pages	2024-03-11 17:35:20 -04:00