wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Support dark mode in Scribunto debug console

Browse source 
* Use Codex tokens instead of hardcoded colors, picking close ones where
 there's no exact match
* Remove unnecessary background styles that will be inherited.
* Add border on input box - looks a bit off (at least in dark mode)
without it.

Bug: T370701
Change-Id: I8076b00aff57dea177d23aaa3698471714ac4a93
This commit is contained in:
Siddharth VP 2024-09-30 22:08:19 +05:30
parent 8c3408f11b
commit 527c461110
2 changed files with 11 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -73,7 +73,7 @@
},
"ext.scribunto.edit": {
"scripts": "ext.scribunto.edit.js",
"styles": "ext.scribunto.edit.css",
"styles": "ext.scribunto.edit.less",
"dependencies": [
"mediawiki.api",
"jquery.spinner"

27
modules/ext.scribunto.edit.css → modules/ext.scribunto.edit.less
View file

@ -1,7 +1,4 @@
.mw-scribunto-console-fieldset {
background: #fff;
color: #000;
}
@import 'mediawiki.skin.variables.less';
/* Preserve line breaks, but wrap too if browser supports it */
/* stylelint-disable-next-line selector-max-id */
@ -13,31 +10,28 @@
/* stylelint-disable-next-line selector-max-id */
#mw-scribunto-input {
width: 100%;
border: 0;
border: 1px solid @border-color-subtle;
overflow: auto;
background: #e0e0e0;
background: @background-color-notice-subtle;
}
.mw-scribunto-input {
color: #00f;
color: @color-progressive--active;
font: inherit;
font-weight: bold;
margin-top: 0.5em;
}
.mw-scribunto-normalOutput {
color: #000;
background: #fff;
color: @color-base;
}
.mw-scribunto-print {
color: #630;
background: #fff;
color: @color-content-removed;
}
.mw-scribunto-error {
color: #f00;
background: #fff;
color: @color-error;
}
.mw-scribunto-propList {
@ -46,8 +40,7 @@
}
.mw-scribunto-message {
color: #008000;
background: #fff;
color: @color-content-added;
}
.mw-scribunto-tabcomplete {
@ -56,8 +49,8 @@
}
.mw-scribunto-clear {
color: #f00;
color: @color-error;
text-align: center;
margin-top: 1em;
border-bottom: 1px solid #f00;
border-bottom: 1px solid @color-error;
}