mediawiki-extensions-CodeMi.../includes
WMDE-Fisch c3cda7edd7 Add colorblind-friendly scheme
Including an user options to enable/disable the scheme. Defaults
to false. Feature is only availible together with the new more
accessibile color scheme as the CSS depends on each other.

Set behind a new temporary feature flag.

Bug: T305027
Change-Id: I46d240a30eda5a1526ada1fe9b724f7b4594b426
2022-04-08 14:12:43 +02:00
..
Hooks.php Add colorblind-friendly scheme 2022-04-08 14:12:43 +02:00
ResourceLoaderCodeMirrorModule.php Namespace extension 2022-02-06 15:16:42 +00:00