Merge "RCFilters: Add 'advanced filters' label to the view selection"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Aug 2017 00:44:44 +0000 (00:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Aug 2017 00:44:44 +0000 (00:44 +0000)
commit4838f88d844056d475967a96d592f1271cc987bf
treea41f7eb80822c30d1db3faf3badec2118c0d7d25
parenta7eddfad5b8f6af709bfa84075035beba149357e
parent9d7f4ef9acc909842e70fc7189658ed673adbfc7
Merge "RCFilters: Add 'advanced filters' label to the view selection"
resources/Resources.php
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js