From 0980b4d681c970407666a905318391721a964b7f Mon Sep 17 00:00:00 2001
From: Dirk Baeumer <dirkb@microsoft.com>
Date: Thu, 18 Jun 2020 10:37:24 +0200
Subject: [PATCH] Fixes #96794: php.validate.executablePath - Unable to
 override in workspace

---
 extensions/php-language-features/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/php-language-features/package.json b/extensions/php-language-features/package.json
index d301ca476ea..2856782f547 100644
--- a/extensions/php-language-features/package.json
+++ b/extensions/php-language-features/package.json
@@ -39,7 +39,7 @@
 					],
 					"default": null,
 					"description": "%configuration.validate.executablePath%",
-					"scope": "machine"
+					"scope": "machine-overridable"
 				},
 				"php.validate.run": {
 					"type": "string",