Merge "RCFilters: Store invert as a standard filter/parameter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Oct 2017 20:30:41 +0000 (20:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Oct 2017 20:30:41 +0000 (20:30 +0000)
commit9e341ba49dd4d514f219fdceb9e071e7ebe04445
tree05b78b088a7ece90b41fb3329ddd9e4e6c3a2ec7
parent24408a57b470a0fd6fd9c3bf47c3f56c97183444
parentcf56f1bf8b6d3cd4f48198135a427d2141d817e2
Merge "RCFilters: Store invert as a standard filter/parameter"
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterMenuHeaderWidget.js