Merge "SpecialUserrights: Use session data instead of URL parameter for success"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Dec 2016 10:16:01 +0000 (10:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Dec 2016 10:16:01 +0000 (10:16 +0000)
commit17b3bab4d636df56e4a4b55e52fcda9fde892804
tree0e79b2abe1917893303d7e61256943f9887036a1
parent9aba586d3b758719d9aa08b236a9de93956b6a96
parent2fcd22493d517276a86b674efb0cafb5a0c7fbfc
Merge "SpecialUserrights: Use session data instead of URL parameter for success"
includes/specials/SpecialUserrights.php