Dockers_dev/mywiki/www/maintenance/dev/includes/php.sh

# 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