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
2090 commits 165 branches 0 tags 28 MiB
Commit graph

2 commits

Author SHA1 Message Date
Siddharth VP f354b0eceb debug console: remove unused CSS styles 
Change-Id: I24a08a605a60f7e369b76c4a5c3b83330a01a054
 2024-10-08 16:41:12 +00:00
Siddharth VP 527c461110 Support dark mode in Scribunto debug console 
* 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
 2024-09-30 22:18:44 +05:30
Renamed from modules/ext.scribunto.edit.css (Browse further)