config.php: values typing