From 830310b45bc8aee232aec3383522b62ba08aaf4e Mon Sep 17 00:00:00 2001
From: Daniel Smith <daniel@smi.sh>
Date: Fri, 2 Aug 2019 23:51:17 +1200
Subject: [PATCH] Add PHP7.3 SDK (#94)

---
 code.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/code.sh b/code.sh
index 3c5beff..e8ca4f9 100755
--- a/code.sh
+++ b/code.sh
@@ -17,5 +17,9 @@ if [[ -d /usr/lib/sdk/node10 ]]; then
   . /usr/lib/sdk/node10/enable.sh
 fi
 
+if [[ -d /usr/lib/sdk/php73 ]]; then
+  . /usr/lib/sdk/php73/enable.sh
+fi
+
 exec env PATH="${PATH}:${XDG_DATA_HOME}/node_modules/bin" \
   /app/extra/vscode/bin/code --extensions-dir=${XDG_DATA_HOME}/vscode/extensions "$@" ${WARNING_FILE}