Go to file
Siddharth VP 8b7b17f9ee Support dark mode in CodeEditor
This uses JS to figure out if the user is currently in dark mode and set
the Ace theme accordingly. This means the theme doesn't reconfigure if
the user or the OS switches dark mode on/off while CodeEditor is open,
but this is better than nothing.

Ace theme 'monokai' is used for dark mode, and 'textmate' is used for
light mode, as before.

Bug: T375982
Change-Id: Icd683ee51cb86b3352d8f23f652b4ce7a6174b4d
2024-09-30 00:26:39 +05:30
.phan Upgrade CodeEditor to use newer version of phan 2019-02-28 18:17:13 +01:00
i18n Localisation updates from https://translatewiki.net. 2024-08-28 09:37:26 +02:00
includes Use PHP type hints 2024-09-16 07:20:43 +00:00
modules Support dark mode in CodeEditor 2024-09-30 00:26:39 +05:30
tests Create HookRunner class and the hook handler interface 2023-06-04 21:23:14 +02:00
.eslintignore Register Ace as a foreign resource, move credits link to that library 2024-03-15 16:32:36 -04:00
.eslintrc.json eslint: Lint Gruntile.js using server rules 2022-02-07 16:22:02 +00:00
.gitignore build: Update eslint-config-wikimedia to 0.11.0 2019-03-13 22:38:54 +00:00
.gitreview Whoops, track not trace 2016-10-24 17:02:17 -07:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 07:28:24 +00:00
.stylelintrc.json build: Update linters 2023-12-18 17:09:57 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-19 10:42:58 +00:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 44.0.0 2024-08-11 04:24:29 +00:00
COPYING License information 2016-03-09 17:27:45 +01:00
extension.json build: Update MediaWiki requirement to 1.43 2024-08-22 16:46:59 -04:00
Gruntfile.js Register Ace as a foreign resource, move credits link to that library 2024-03-15 16:32:36 -04:00
hooks.txt Save real tabs and allow configuration by users via JS hook 2013-08-25 18:45:16 +01:00
package-lock.json build: Updating micromatch to 4.0.8 2024-08-24 20:52:49 +00:00
package.json build: Updating npm dependencies 2024-06-20 05:06:27 +00:00