Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken php detection

Change-Id: Id78f14c220bbaa21b78c0c669a324f6169b3109d

diff --git a/maintenance/dev/includes/php.sh b/maintenance/dev/includes/php.sh
index f5b712a..7ce8794 100644 (file)
--- a/maintenance/dev/includes/php.sh
+++ b/maintenance/dev/includes/php.sh
@@ -6,7 +6,7 @@
 
 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 'die(!version_compare(PHP_VERSION, "5.4", ">="));'; then
+               if "$binary" -r 'exit((int)!version_compare(PHP_VERSION, "5.4", ">="));'; then
                        PHP="$binary"
                        break
                fi