Merge "RCFilters: Convert saved queries from filters to parameters"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Oct 2017 20:51:51 +0000 (20:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Oct 2017 20:51:51 +0000 (20:51 +0000)
commitf58546ef6e55342ff2d54bdf9e421102aed7aa76
tree19216075e69d36e4fa0280dfdf6fc16c9ad51a1f
parent74bc4678900c7448f0a291b2e4a1b0b832e2f630
parentc7b6b598ca248c520888affdefd429061ebc4302
Merge "RCFilters: Convert saved queries from filters to parameters"
includes/Preferences.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js