Morris Jobke c1e4f9f305 Use type casting instead of *val() method ... It should be up to 6x faster Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2018-01-26 11:35:42 +01:00
..
DeletedUsersIndex.php	Fix apps/	2016-07-21 18:13:57 +02:00
IUserTools.php	Fix apps/	2016-07-21 18:13:57 +02:00
Manager.php	Use type casting instead of *val() method	2018-01-26 11:35:42 +01:00
OfflineUser.php	Use type casting instead of *val() method	2018-01-26 11:35:42 +01:00
User.php	Properly log the full exception instead of only the message	2018-01-23 10:57:21 +01:00