// Contents of config.php