Update php-lib/lib/config.php