Configuración ampliada (config extended.php)

El script config_extended.php permite modificar la configuración inicial definida a través del script config.php para particularizarla o ampliarla para una base de datos específica. Los parámetros que permiten esta particularización se encuentran definidos en el archivo dr_path.def