Improve type hint
authorjeroendedauw <jeroendedauw@gmail.com>
Wed, 28 Nov 2012 19:37:05 +0000 (20:37 +0100)
committerjeroendedauw <jeroendedauw@gmail.com>
Wed, 28 Nov 2012 19:37:14 +0000 (20:37 +0100)
commita91a5c741a66832ce6b22222c4b249643ec89fec
tree1149d9533e7aee9c00a84567e7f86b52bbe9f98a
parent023b1dafd3a961bef261925e14e26554dd4e6c9d
Improve type hint

Eclipse and phpstorm where showing 'User' as return type before, which causes me to not check for false somewhere and thus fatals happening :)

Change-Id: Ibd5b5598f05e6b08481ad65060c7cae18762dc4e
includes/User.php