Fix code style in config.php