Merge "RCFilters: Add 'boolean' group"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 22 Jul 2017 00:29:34 +0000 (00:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 22 Jul 2017 00:29:34 +0000 (00:29 +0000)
commitbe00e4c0bb2e473102eafdd6629c61c7e87ea536
tree1a9152aa88f677aab6826c696fffef00fdc424a2
parent057f4415aeef7953bb57157248b6ffdbe217665e
parentdab88cde22c8c681b251b450769ecda5f2f6e2e1
Merge "RCFilters: Add 'boolean' group"
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FilterGroup.js
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js