mediawiki-extensions-CodeMi.../resources
MusikAnimal 880c690a10 CodeMirror6: add new modules, feature flag, and URL query parameter
Add a new $wgCodeMirrorV6 temporary feature flag that when enabled,
will load the 'ext.CodeMirror.v6.WikiEditor' module that is built
against CodeMirror 6. You can also pass in the ?cm6enable=1 query
parameter to force use of CodeMirror 6. This is currently only
implemented for the 2010 editor.

Due to packaging constraints with CodeMirror 6, we now use Webpack to
bundle the files, which are then used by ResourceLoader. This is similar
to what is done for Extension:Popups, MobileFrontend, among other
extensions.

A new generic class CodeMirror can be used on other areas where syntax
highlighting is desirable, but not necessarily for editing (i.e. without
WikiEditor).

This commit merely lays the foundation for CodeMirror 6 and updates
WikiEditor to use it. The actual MediaWiki syntax highlighting will come
with a future commit.

With the new Webpack build, the Gruntfile was removed and the tasks
moved to npm commands.

Bug: T317243
Change-Id: I2239d2449b2db3b638551f847eb4eff1aafa6276
2023-10-09 19:51:24 -04:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist CodeMirror6: add new modules, feature flag, and URL query parameter 2023-10-09 19:51:24 -04:00
lib resources: Manage upstream CodeMirror using ManageForeignResources 2023-09-21 12:40:53 +01:00
mode/mediawiki build: Update linters 2023-09-13 14:02:43 +01:00
modules/ve-cm build: Update linters 2023-09-13 14:02:43 +01:00
.eslintrc.json CodeMirror6: add new modules, feature flag, and URL query parameter 2023-10-09 19:51:24 -04:00
ext.CodeMirror.js Convert applicable ResourceLoader modules to use packageFiles 2023-08-24 11:55:13 -04:00
ext.CodeMirror.less Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00
ext.CodeMirror.v6.WikiEditor.less CodeMirror6: add new modules, feature flag, and URL query parameter 2023-10-09 19:51:24 -04:00
ext.CodeMirror.WikiEditor.js CodeMirror6: add new modules, feature flag, and URL query parameter 2023-10-09 19:51:24 -04:00