Merge "RCFilters: Always replaceState the URL"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Jun 2017 21:27:06 +0000 (21:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Jun 2017 21:27:07 +0000 (21:27 +0000)
commitceb1eb3e1c93c834040c633b14fc23402eb45a42
tree07018d24e48b35ae09ada6b059ebd0635819451b
parentddf3d27b108f5d2562b9aff80137e2c818a7ae26
parent2b0b5c335facfc1e951dc9f8807f006e7a00211f
Merge "RCFilters: Always replaceState the URL"
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js