mediawiki-extensions-CodeMi.../resources
MusikAnimal 5a07eb35db CodeMirror 6: localize search dialog
As of this patch, these should be the only messages used by us that live
in the CodeMirror library. More may be added later as new features
are added. We load all translations as a default CodeMirror extension
given the small cost and importance of localization.

German translations from the CodeMirror docs:
https://codemirror.net/examples/translate/

Also add a note in the README about the search dialog.

Bug: T317243
Change-Id: Iba40bcaf197ed48166ce4cdcc4f48177fc8d07f3
2024-02-13 14:56:23 -05:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist CodeMirror 6: localize search dialog 2024-02-13 14:56:23 -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 Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00
ext.CodeMirror.v6.WikiEditor.init.js Implement core MediaWiki stream parser for CodeMirror 6 2024-01-02 23:18:32 -05:00
ext.CodeMirror.v6.WikiEditor.less CodeMirrorWikiEditor: add bracketMatching as default extension 2023-12-06 01:46:58 -05:00
ext.CodeMirror.WikiEditor.js Bump Node dependencies and fix deprecations and linting failures 2023-12-06 00:43:15 -05:00