Merge "$wgAuth is no longer a stub object"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Sep 2014 13:41:45 +0000 (13:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Sep 2014 13:41:45 +0000 (13:41 +0000)
commit81fd2063c9fb2978bc3d2e7e39cc6cc659bc9aea
tree867dc6502f2bdddc83fad8502efcb92140136e84
parent26ded3a5458dbb00a561fb538d3e1597557419c4
parentc7ef6775fe157c2349129b912a2e8a00a392c0a3
Merge "$wgAuth is no longer a stub object"