Merge "AuthManager phpdoc cleanup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Sep 2016 22:25:08 +0000 (22:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Sep 2016 22:25:08 +0000 (22:25 +0000)
commit20995c9635a1e59dea3e2dbd176b8ac16ae57a75
tree1cd586192f38aa5fb834ed06d09bce13a1ba2de0
parent1deee13f805bec30b38730eae0bb525afb42c12d
parent3b2a5a7c776a2bb16ff873cb862914f8fbdc1bb5
Merge "AuthManager phpdoc cleanup"