blob: 7ce8794482616ec07eaa7d930cb162e9dc60a02f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Include-able script to determine the location of our php if any
# We search for a environment var called PHP, native php,
# a local copy, home directory location used by installphp.sh
# and previous home directory location
# The binary path is returned in $PHP if any
for binary in $PHP `which php || true` "$DEV/php/bin/php" "$HOME/.mediawiki/php/bin/php" "$HOME/.mwphp/bin/php" ]; do
if [ -x "$binary" ]; then
if "$binary" -r 'exit((int)!version_compare(PHP_VERSION, "5.4", ">="));'; then
PHP="$binary"
break
fi
fi
done
|
