Merge "API: Fixes for AuthManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 30 May 2016 12:37:34 +0000 (12:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 30 May 2016 12:37:34 +0000 (12:37 +0000)
commitf4a2198abf69871a13e401ea2a13e49f597a389b
tree41c6117509a0d715b85d7feac7f5f2826f326e0a
parentd6ac60cf089ce1d8170d7ed9bed2e84a9baeb0b6
parente10f96cff1968df001b068efd3147dd53f41d3bc
Merge "API: Fixes for AuthManager"
includes/auth/AuthenticationRequest.php