Merge "Drop the UserRights hook, deprecated in 1.26"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Jun 2019 23:06:05 +0000 (23:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Jun 2019 23:06:05 +0000 (23:06 +0000)
commitb93d5e84ed7ec7f3ca0dcaa0d80b054a6f2f328b
treeffb60d3059cad0926d17ea1e3f29e8bf85fe3a92
parent4c10bb4193861da2b7775410694636af17f6ae50
parent614f15682c35dd08dc9e0dbfc629b317075558e6
Merge "Drop the UserRights hook, deprecated in 1.26"