This isn't available on all systems, e.g. Fedora just uses "php". People
with multiple versions of PHP installed can use an alternatives system
or something to make sure PHP 7 is used.
Change-Id: I03ef7c2d4223ade32f7a89c3a88706ae8c6e8156
}
fi
+if hash php7.0 2>/dev/null; then
+ export PHP="php7.0"
+else
+ export PHP="php"
+fi
+
# Note that this isn't loaded in via composer because then composer can
# only be run with php7.0
if [ ! -f "$PHAN" ]; then
exit 1
fi
else
- export PHAN="php7.0 $PHAN"
+ export PHAN="$PHP $PHAN"
fi
if [ -z "$MW_INSTALL_PATH" ]; then