config.php: indentation