Merge "Deprecate User::isBlocked()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Apr 2019 11:44:50 +0000 (11:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Apr 2019 11:44:50 +0000 (11:44 +0000)
commitb942fc27c93e54868298608698fe6b965907d33e
treed07e68b614de80a0961932407480aff9ea6f9d79
parentacab9b7bd5d6336cb4acc9e98c437f9601d8978b
parente86a060284e8ade65ca1e358b0b449fd0c0d9559
Merge "Deprecate User::isBlocked()"
RELEASE-NOTES-1.34
includes/specials/SpecialBlock.php
includes/specials/SpecialUserrights.php
includes/user/User.php