diff options
| author | Daniel Friesen <pub-github@nadir-seen-fire.com> | 2012-08-05 22:56:16 -0700 |
|---|---|---|
| committer | Daniel Friesen <pub-github@nadir-seen-fire.com> | 2012-08-05 22:56:16 -0700 |
| commit | ccbf3af00bdab1a45ca00206dcd8d61f18537903 (patch) | |
| tree | f6f74291d1c525ad0cbf0d933741f82410d1f63d /maintenance/dev/includes | |
| parent | 617d0f03c8151669e1ca51583d88bcd9ea2867d9 (diff) | |
| download | mediawikicore-ccbf3af00bdab1a45ca00206dcd8d61f18537903.tar.gz mediawikicore-ccbf3af00bdab1a45ca00206dcd8d61f18537903.zip | |
Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken php detection
Change-Id: Id78f14c220bbaa21b78c0c669a324f6169b3109d
Diffstat (limited to 'maintenance/dev/includes')
| -rw-r--r-- | maintenance/dev/includes/php.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/dev/includes/php.sh b/maintenance/dev/includes/php.sh index f5b712ac6a30..7ce879448261 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 |