Merge "Revert "Tweak UI for main filtering entry point""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 18 Sep 2017 20:58:40 +0000 (20:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 18 Sep 2017 20:58:40 +0000 (20:58 +0000)
commit4b96b206cddd768886c513d450e4359a66568f78
treec695b9004247cc639b29f2e0a40f7c42a7a5062f
parentd95a61abba0b9c2671629e2a62ec0d9b574a042b
parent7dcb79da428ebbf6190fdf26245d01ca2f2a84d0
Merge "Revert "Tweak UI for main filtering entry point""
languages/i18n/en.json
resources/Resources.php
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js