Merge "RCFilters: show new changes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 31 Jul 2017 22:23:45 +0000 (22:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 31 Jul 2017 22:23:46 +0000 (22:23 +0000)
commitc3666b91f3f497b54e71c470b4493dce57712bbe
tree4fe64af90b4ee12d9edd8d6f5883af3136aefc2e
parent7911744c3d66256fc4cd187723156e7ef36fc412
parente2bea6350c19c7133a94a50707b1b2a9599aec66
Merge "RCFilters: show new changes"
includes/specials/SpecialRecentchanges.php
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js