From c7b9118298c70b0bba75480bf502a5f442239597 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sun, 27 Oct 2019 17:46:42 +0000
Subject: [PATCH] Ensure php is loaded from the correct path

---
 .devcontainer/devcontainer.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 0d98c1c..b68c2e4 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -9,5 +9,8 @@
         "msjsdiag.debugger-for-chrome",
         "neilbrayfield.php-docblocker"
     ],
+    "settings": {
+        "php.executablePath": null
+    },
     "postCreateCommand": "echo '* text=auto eol=lf' > $(git rev-parse --git-dir)/info/attributes"
 }
\ No newline at end of file