Merge "In Installer, set the user to an anon in RequestContext, not just wgUser"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Feb 2016 15:13:41 +0000 (15:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Feb 2016 15:13:42 +0000 (15:13 +0000)

Trivial merge