jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/356505 )
Change subject: ext.CollaborationKit.list.ui: Switch from 'remove' to 'trash'
icon
......................................................................
ext.CollaborationKit.list.ui: Switch from 'remove' to 'trash' icon
Change-Id: I79640111cdf728d781f19614f095248f62d0c048
---
M extension.json
M modules/ext.CollaborationKit.list.ui.js
2 files changed, 2 insertions(+), 1 deletion(-)
Approvals:
Harej: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index db5658e..5f0a516 100644
--- a/extension.json
+++ b/extension.json
@@ -113,6 +113,7 @@
"scripts": "ext.CollaborationKit.iconbrowser.js",
"dependencies": [
"oojs-ui",
+ "oojs-ui.styles.icons-moderation",
"oojs-ui.styles.icons-movement",
"mediawiki.widgets",
"mediawiki.widgets.UserInputWidget",
diff --git a/modules/ext.CollaborationKit.list.ui.js
b/modules/ext.CollaborationKit.list.ui.js
index 7560ad4..dd6cfaa 100644
--- a/modules/ext.CollaborationKit.list.ui.js
+++ b/modules/ext.CollaborationKit.list.ui.js
@@ -287,7 +287,7 @@
colId = LE.getColId( item );
deleteButton = new OO.ui.ButtonWidget( {
framed: false,
- icon: 'remove',
+ icon: 'trash',
iconTitle: mw.msg(
'collaborationkit-list-delete' )
} );
--
To view, visit https://gerrit.wikimedia.org/r/356505
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I79640111cdf728d781f19614f095248f62d0c048
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CollaborationKit
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Harej <jamesmh...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
