VolkerE has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/346872 )
Change subject: MediaWiki theme: Remove non-used indicator flags
......................................................................
MediaWiki theme: Remove non-used indicator flags
Removing all flags, but 'invert' from indicators. Related to
I89d7d21707b53b
Change-Id: I47efe6587d88040c33f240106f00dff763730af7
---
M src/themes/mediawiki/indicators.json
1 file changed, 0 insertions(+), 12 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/72/346872/1
diff --git a/src/themes/mediawiki/indicators.json
b/src/themes/mediawiki/indicators.json
index df32417..1b99365 100644
--- a/src/themes/mediawiki/indicators.json
+++ b/src/themes/mediawiki/indicators.json
@@ -6,18 +6,6 @@
"invert": {
"color": "#fff",
"global": true
- },
- "progressive": {
- "color": "#36c"
- },
- "constructive": {
- "color": "#36c"
- },
- "destructive": {
- "color": "#d33"
- },
- "warning": {
- "color": "#ff5d00"
}
},
"images": {
--
To view, visit https://gerrit.wikimedia.org/r/346872
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I47efe6587d88040c33f240106f00dff763730af7
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
