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
..
functions.php	Use type casting instead of *val() method	2018-01-26 11:35:42 +01:00