Merge "RCFilters: Change the input icon on interaction"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Jun 2017 18:35:45 +0000 (18:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Jun 2017 18:35:45 +0000 (18:35 +0000)
commitf1c48a9d2143eb7c0132cda68665be8d53d31592
tree7f9b96bee88f736c704e3880573520e23550b288
parentacc60f34497dc8faf86f1f9681f9f8ce8741ca2b
parentb3a899bc8456b77cf78777cebe4e3a477064d96b
Merge "RCFilters: Change the input icon on interaction"
resources/Resources.php
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js