Config: actually add config.php