diff --git a/check_syntax.sh b/check_syntax.sh index 1a11de1d..fe8f992f 100755 --- a/check_syntax.sh +++ b/check_syntax.sh @@ -4,7 +4,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" ERRORS=0 for FILE in $(find "$DIR" -name '*.php'); do - CHECK=$(php7.0 -l $FILE | grep -v "^No syntax errors detected") + CHECK=$(php -l $FILE | grep -v "^No syntax errors detected") if [ -n "$CHECK" ]; then echo "$CHECK" ERRORS=1 diff --git a/dev.sh b/dev.sh index 891beed6..e191de74 100755 --- a/dev.sh +++ b/dev.sh @@ -1,6 +1,6 @@ #!/bin/bash -PHPBIN=php7.0 +PHPBIN=php7.2 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" diff --git a/update.php b/update.php index 9a97a9e6..24806682 100755 --- a/update.php +++ b/update.php @@ -1,4 +1,4 @@ -#!/usr/bin/php7.0 +#!/usr/bin/php