Use identical check instead of equality check
authorAlangi Derick <alangiderick@gmail.com>
Wed, 31 Oct 2018 12:22:58 +0000 (13:22 +0100)
committerAlangi Derick <alangiderick@gmail.com>
Wed, 31 Oct 2018 12:22:58 +0000 (13:22 +0100)
commite907d4328dc3e1958e16e09e93c835a25bec3d2a
tree9af73fb44771a2569f65bf3273500d8a5742026f
parentc16704c33a278b729c11922916445b41ce05253b
Use identical check instead of equality check

$user->getId() returns an int and it's strict on this,
so the check here should be an identical check as "=="
does unnecessary coercion. So "===" will be faster and
improves on speed/performance.

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