mediawiki-extensions-CodeMi.../resources
2024-03-13 00:28:26 +00:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist CodeMirror: fix implementation of jQuery.textSelection encapsulate 2024-03-11 17:38:20 -04:00
lib resources: Manage upstream CodeMirror using ManageForeignResources 2023-09-21 12:40:53 +01:00
mode/mediawiki styles: Replace error color with #d73333 2024-03-11 22:03:30 +01: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: sync text editor font preference 2024-02-25 23:08:38 -05:00
ext.CodeMirror.v6.WikiEditor.less CodeMirror 6: show wikitext highlighting on protected pages 2024-03-11 17:35:20 -04:00
ext.CodeMirror.WikiEditor.js Bump Node dependencies and fix deprecations and linting failures 2023-12-06 00:43:15 -05:00