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