Merge "Fix some PhpStorm warnings in AuthManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Sep 2016 16:06:00 +0000 (16:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Sep 2016 16:06:00 +0000 (16:06 +0000)
commit8d5465f2a4148b959caa51df9424a01f62d80b06
treea84a70a3669356090fb76fc4ede7002f8908d166
parent6fba9a7dc6ac969676c57f85b09bbdac9067a2bd
parent4a927495540b28286d80c906e72dda69def63333
Merge "Fix some PhpStorm warnings in AuthManager"