mediawiki-extensions-CodeMi.../resources
Ed Sanders 9520546e09 Add tool to VE toolbar automatically using 'utility' group
This removes the need for the init module.

Bug: T340751
Depends-On: Ibcc81c90bc9ba6c5fd012c512daf861973b03b2e
Change-Id: Iec3a4c6b00288aee376af47e778c4aa67a98d29b
2023-06-29 14:40:43 +00: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 Add tool to VE toolbar automatically using 'utility' group 2023-06-29 14:40:43 +00: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