Merge "SpecialListgrouprights: Fix "Namespace restrictions" header ID"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 12 Dec 2017 13:17:23 +0000 (13:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 12 Dec 2017 13:17:23 +0000 (13:17 +0000)
commit78418f5728259c024ac3b2016e1edd0ab794c9c0
treebf72afbab5feb0225d480955f5905c7c97c13cc8
parent86b4925b2edfddf00c9184bcd24be34f33fa4607
parentf0aa0b7db3b81788cb398450581ecb0cd42fa896
Merge "SpecialListgrouprights: Fix "Namespace restrictions" header ID"
includes/specials/SpecialListgrouprights.php