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

…

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