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"