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

debug console: remove unused CSS styles

Browse source 
Change-Id: I24a08a605a60f7e369b76c4a5c3b83330a01a054
This commit is contained in:
Siddharth VP 2024-09-30 22:09:42 +05:30 committed by jenkins-bot
parent cc9cdab7e6
commit f354b0eceb
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/ext.scribunto.edit.less
View file

@ -34,20 +34,10 @@
color: @color-error; color: @color-error;
} }
.mw-scribunto-propList {
color: #008000;
background: #fff;
}
.mw-scribunto-message { .mw-scribunto-message {
color: @color-content-added; color: @color-content-added;
} }
.mw-scribunto-tabcomplete {
color: #800080;
background: #fff;
}
.mw-scribunto-clear { .mw-scribunto-clear {
color: @color-error; color: @color-error;
text-align: center; text-align: center;