Fixes #96794: php.validate.executablePath - Unable to override in workspace

This commit is contained in:
Dirk Baeumer 2020-06-18 10:37:24 +02:00
parent 3281da1ce5
commit 0980b4d681

View file

@ -39,7 +39,7 @@
], ],
"default": null, "default": null,
"description": "%configuration.validate.executablePath%", "description": "%configuration.validate.executablePath%",
"scope": "machine" "scope": "machine-overridable"
}, },
"php.validate.run": { "php.validate.run": {
"type": "string", "type": "string",