jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/378984 )

Change subject: demos: Remove deprecated 'sun' icon from demo
......................................................................


demos: Remove deprecated 'sun' icon from demo

Change-Id: I439c258e0bf3b116f356c01c4d6cd873f2461f14
---
M demos/pages/icons.js
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Jforrester: Looks good to me, approved



diff --git a/demos/pages/icons.js b/demos/pages/icons.js
index b990a08..dbb266c 100644
--- a/demos/pages/icons.js
+++ b/demos/pages/icons.js
@@ -68,7 +68,6 @@
                                'search',
                                'settings',
                                'subtract',
-                               'sun',
                                'watchlist'
                        ],
                        moderation: [

-- 
To view, visit https://gerrit.wikimedia.org/r/378984
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I439c258e0bf3b116f356c01c4d6cd873f2461f14
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

Reply via email to