jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/356506 )
Change subject: mediawiki.widgets.datetime/DateTimeInputWidget: Use 'trash'
icon which still exists
......................................................................
mediawiki.widgets.datetime/DateTimeInputWidget: Use 'trash' icon which still
exists
Bug: T166730
Change-Id: I30a833ee93d49bb9480f5cfed332a9aa8e306713
---
M resources/Resources.php
M resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.js
2 files changed, 2 insertions(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index e30196c..cb9f6da 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2393,6 +2393,7 @@
],
'dependencies' => [
'oojs-ui-core',
+ 'oojs-ui.styles.icons-moderation',
],
'targets' => [ 'desktop', 'mobile' ],
],
diff --git a/resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.js
b/resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.js
index 3e4c5e2..e42ab25 100644
--- a/resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.js
+++ b/resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.js
@@ -412,7 +412,7 @@
this.clearButton = new OO.ui.ButtonWidget( {
classes: [
'mw-widgets-datetime-dateTimeInputWidget-field',
'mw-widgets-datetime-dateTimeInputWidget-clearButton' ],
framed: false,
- icon: 'remove',
+ icon: 'trash',
disabled: disabled
} ).connect( this, {
click: 'onClearClick'
--
To view, visit https://gerrit.wikimedia.org/r/356506
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I30a833ee93d49bb9480f5cfed332a9aa8e306713
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
