Merge "Hard-deprecate authentication-related hooks deprecated by AuthManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Oct 2018 05:54:03 +0000 (05:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Oct 2018 05:54:03 +0000 (05:54 +0000)
commit08911f6674b184679ed4e6f7e93efbf9f504193c
tree651857989ccb2eba178a535d56704b745acdd17c
parentcf6fb416665ae898eadf78c124f70d1dfa209cc2
parentefa7a92e7c115bd59a56ed9a30e1a81ca8a03016
Merge "Hard-deprecate authentication-related hooks deprecated by AuthManager"