update php version

This commit is contained in:
Niko Storni 2018-04-22 14:03:57 -04:00
parent fce7541f61
commit 3f8ae84193
No known key found for this signature in database
GPG key ID: F37FE63398800368
3 changed files with 3 additions and 3 deletions

View file

@ -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

2
dev.sh
View file

@ -1,6 +1,6 @@
#!/bin/bash
PHPBIN=php7.0
PHPBIN=php7.2
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

View file

@ -1,4 +1,4 @@
#!/usr/bin/php7.0
#!/usr/bin/php
<?php
include __DIR__.'/bootstrap.php';