Update php/config/config_local.json-dist