mediawiki-extensions-CodeMi.../resources
Func a19cd9b94a ve.ui: Set the CM wrapper to the appropriate language
Bug: T341342
Change-Id: Ibdac3d360527429e396b0c124b57d1531b959a76
2023-07-07 20:54:00 +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 Skip user setting for unnamed users 2023-05-20 15:36:29 +03:00
ext.CodeMirror.less Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00