mediawiki-extensions-CodeMi.../resources
MusikAnimal 15215cb81f Utilize __non_webpack_require__ so we can source virtual files
This removes the need for a separate init module. Using
`__non_webpack_require__` will force Webpack to compile as `require`
instead of `__webpack_require__`, allowing ResourceLoader to inject the
virtual file.

Change-Id: I00203f4665b49cb92ee9db356445fdc2ab17fc5f
2024-02-14 08:47:21 -05:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist Utilize __non_webpack_require__ so we can source virtual files 2024-02-14 08:47:21 -05:00
lib resources: Manage upstream CodeMirror using ManageForeignResources 2023-09-21 12:40:53 +01:00
mode/mediawiki fix heading style conflict with CM5 2024-01-18 23:53:52 +08:00
modules/ve-cm Remove useless @copyright tags from VE code headers 2023-12-18 17:01:58 +00: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 CodeMirror: highlight special characters and non-breaking spaces 2024-02-13 14:57:06 -05:00
ext.CodeMirror.v6.WikiEditor.less CodeMirror: highlight special characters and non-breaking spaces 2024-02-13 14:57:06 -05:00
ext.CodeMirror.WikiEditor.js Bump Node dependencies and fix deprecations and linting failures 2023-12-06 00:43:15 -05:00