Merge "mediawiki.widgets.datetime/DateTimeInputWidget: Use 'trash' icon which still...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Jun 2017 15:43:06 +0000 (15:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Jun 2017 15:43:07 +0000 (15:43 +0000)
commit27f711bfabec0696eb201f3170ea6eebee05e71f
treedb49ac04ce8ee4ed3aa6089cd6c8d79b0a049568
parent18d8f2aa9998f516bc48ec20663c8fe56e051cd3
parentb8f03e8e785682da734b6f461bb0518df0d190e0
Merge "mediawiki.widgets.datetime/DateTimeInputWidget: Use 'trash' icon which still exists"