mediawiki-extensions-CodeMi.../resources
Sam Wilson 7d48f2d8bb Use editRecovery.loadEnd JS hook to add change handler
Add core's change handler for CodeMirror changes as well, to
save in-progress edit data.

Depends-On: I32c13c1eeec55dc442b0a00ede9cb74422b0307e
Bug: T342882
Change-Id: I352470752130c7b9b2dfc55a066cecf785d40067
2023-07-31 10:44:08 +08:00
..
addon Enable eslint for our custom code in the matchbrackets addon 2022-03-03 21:07:19 +00:00
lib Enable line numbering 2021-04-08 09:53:23 +02:00
mode/mediawiki styles: Replace mentioning of WikimediaUI Base and add skin variables 2023-05-16 17:58:24 +02:00
modules/ve-cm ve.ui: Set the CM wrapper to the appropriate language 2023-07-07 20:54:00 +08:00
.eslintrc.json eslint: Lint Gruntile.js using server rules 2022-02-07 16:25:32 +00:00
ext.CodeMirror.js Use editRecovery.loadEnd JS hook to add change handler 2023-07-31 10:44:08 +08:00
ext.CodeMirror.less Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00