Merge "RCFilters UI: Add a 'what's this?' link to filter groups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 17 Mar 2017 20:05:21 +0000 (20:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 17 Mar 2017 20:05:22 +0000 (20:05 +0000)
1  2 
resources/Resources.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FilterGroup.js
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js

Simple merge