Volker E ba64a52368 styles: Replace mentioning of WikimediaUI Base and add skin variables ... It makes no difference to directly assign Codex Design System for Wikimedia colors as values instead of re-assigning the outdated `@wmui-color-*` variables. Bump to required MediaWiki core version >= v1.41.0. Also put stylelint-disable before the block it's actually needed. Bug: T334934 Change-Id: I5696f160d39ef4edec7a1b966fe7e73608c86bdc		2023-05-16 17:58:24 +02: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	Merge "Search for toolbar place in toolbarConfig as well as actionConfig"	2023-02-16 00:00:25 +00:00
.eslintrc.json	eslint: Lint Gruntile.js using server rules	2022-02-07 16:25:32 +00:00
ext.CodeMirror.js	ext.CodeMirror.js: Keep at 100% parent width	2022-08-04 12:54:40 +01:00
ext.CodeMirror.less	Support WikiEditor's realtime-preview feature	2022-03-24 12:02:03 +08:00