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)
1  2 
includes/Preferences.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js

Simple merge