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
..
UUIDFix.php	Add repair steps	2017-02-17 18:45:33 +01:00
UUIDFixGroup.php	Update license headers	2017-11-06 16:56:19 +01:00
UUIDFixInsert.php	Use type casting instead of *val() method	2018-01-26 11:35:42 +01:00
UUIDFixUser.php	Update license headers	2017-11-06 16:56:19 +01:00