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
..
.eslintrc.json	CodeMirror6: add new modules, feature flag, and URL query parameter	2023-10-09 19:51:24 -04:00
codemirror.bidiIsolation.test.js	CodeMirror 6: Add bidi isolation to HTML tags	2024-03-11 17:34:41 -04:00
codemirror.mode.mediawiki.test.js	CodeMirrorModeMediaWikiConfig: add missing tokens for nested templates	2024-03-05 00:34:34 -05:00
codemirror.test.js	CM6: use textarea height unless WikiEditor's Realtime Preview is loaded	2024-03-04 17:41:04 -05:00
codemirror.wikieditor.test.js	CodeMirror 6: show wikitext highlighting on protected pages	2024-03-11 17:35:20 -04:00
setup.js	Utilize __non_webpack_require__ so we can source virtual files	2024-02-14 08:47:21 -05:00