mediawiki-extensions-CodeMi.../resources
2024-03-15 00:27:42 +00:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist CodeMirror: add 'dir' and 'lang' attrs to .cm-editor and not .cm-content 2024-03-13 11:19:16 -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 Merge "Remove WikiEditor toolbar z-index override" 2024-03-15 00:27:42 +00: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