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)
commitdb16d59db8c03916c16d597b3e8e3c55faccbda7
treeb277c4b8800d39d1a3b352f04e6f3aac8b899b85
parentbd96b3092ddf09cf3acfeb54544ff6b6b8c54a25
parent2b4666ed2ea00b52c76f373c84fffb6d4442b4d7
Merge "RCFilters UI: Add a 'what's this?' link to filter groups"
resources/Resources.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FilterGroup.js
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js