Merge "RCFilters: Add 'single_option' group type"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Jun 2017 00:29:48 +0000 (00:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Jun 2017 00:29:48 +0000 (00:29 +0000)
commitcd5397fb0e77eaedb604745a777246471b4a7a1f
tree1f56ec6404911efede12311e81d47d9059965059
parent16a9c7076f5eb5279d6eb1384751a08a4e33f532
parent5ed72ed54cbf7cd1880bacea7e2e11ef8e9b096c
Merge "RCFilters: Add 'single_option' group type"
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.MenuSelectWidget.js