Merge "RCFilters: Only register watchlist filter group when user is logged in"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 May 2017 22:20:33 +0000 (22:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 May 2017 22:20:33 +0000 (22:20 +0000)
commitb046971f932bb513cb9686efae9ee5fa83f69705
tree72f2e3f4f63b504f175a127cee84d807a23ab8d4
parentb818f80df878e147e4cba45d5013271936e0ed2a
parent02957353a59cef93c1a5631ce6c2ad28751e37c5
Merge "RCFilters: Only register watchlist filter group when user is logged in"
includes/specials/SpecialRecentchanges.php