From 6c1e0e2ccf95a64f9d607a194ffecd6c00e56744 Mon Sep 17 00:00:00 2001
From: Jeremy Kauffman <kauffj@gmail.com>
Date: Tue, 6 Mar 2018 09:25:06 -0500
Subject: [PATCH] php not php7.0

---
 dev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev.sh b/dev.sh
index 22f09dbd..6d144815 100755
--- a/dev.sh
+++ b/dev.sh
@@ -7,4 +7,4 @@ if [ ! -e "data/config.php" ]; then
   cp "$DIR/data/config.php.example" "$DIR/data/config.php"
 fi
 
-php7.0 --server localhost:8000 --docroot "$DIR/web" "$DIR/web/index.php"
+php --server localhost:8000 --docroot "$DIR/web" "$DIR/web/index.php"