From ccbf3af00bdab1a45ca00206dcd8d61f18537903 Mon Sep 17 00:00:00 2001
From: Daniel Friesen <pub-github@nadir-seen-fire.com>
Date: Sun, 5 Aug 2012 22:56:16 -0700
Subject: [PATCH] Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken
 php detection

Change-Id: Id78f14c220bbaa21b78c0c669a324f6169b3109d
---
 maintenance/dev/includes/php.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/dev/includes/php.sh b/maintenance/dev/includes/php.sh
index f5b712ac6a..7ce8794482 100644
--- 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
-- 
2.20.1