jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/395947 )
Change subject: WikimediaUI theme: Remove obsolete global flag for 'layout'
icon pack
......................................................................
WikimediaUI theme: Remove obsolete global flag for 'layout' icon pack
Change-Id: I198644730d772831c5fecd0d4e5d0662a6577098
---
M src/themes/wikimediaui/icons-layout.json
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/src/themes/wikimediaui/icons-layout.json
b/src/themes/wikimediaui/icons-layout.json
index bf5ec8a..cf935e3 100644
--- a/src/themes/wikimediaui/icons-layout.json
+++ b/src/themes/wikimediaui/icons-layout.json
@@ -8,8 +8,7 @@
"global": true
},
"progressive": {
- "color": "#36c",
- "global": true
+ "color": "#36c"
},
"constructive": {
"color": "#36c"
--
To view, visit https://gerrit.wikimedia.org/r/395947
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I198644730d772831c5fecd0d4e5d0662a6577098
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
