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
..
CheckUser.php
CreateEmptyConfig.php
DeleteConfig.php
Search.php
SetConfig.php
ShowConfig.php
ShowRemnants.php
TestConfig.php