Fix some PhpStorm warnings in AuthManager
authorGergő Tisza <gtisza@wikimedia.org>
Thu, 8 Sep 2016 22:10:19 +0000 (22:10 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Mon, 12 Sep 2016 22:55:51 +0000 (22:55 +0000)
commit4a927495540b28286d80c906e72dda69def63333
treea89fba10b89155fda3ede73577dbd30cf65e54ee
parentc5adb2f42aeee78678967847d9e3792aed138a76
Fix some PhpStorm warnings in AuthManager

Change-Id: Ib5fab7a54a6572897d9b679d6470d830cbb3cea9
includes/auth/AuthManager.php