From 3fc86d641cddc7801a8e114c5957e754132f9055 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Thu, 4 Sep 2014 22:47:48 +0200
Subject: [PATCH] runkit: Provide alternative repository for PHP 5.6.

---
 travis/install-php-extensions.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/travis/install-php-extensions.sh b/travis/install-php-extensions.sh
index 8431bcf0..2acfdfd7 100755
--- a/travis/install-php-extensions.sh
+++ b/travis/install-php-extensions.sh
@@ -20,9 +20,11 @@ function install_php_extension
     echo "extension=$1.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"`
 }
 
-if [ "$TRAVIS_PHP_VERSION" != "5.6" ]
+# runkit
+if [ "$TRAVIS_PHP_VERSION" == "5.6" ]
 then
-    # runkit
+    git clone https://github.com/adrianguenter/runkit.git
+else
     git clone https://github.com/zenovich/runkit.git
-    install_php_extension 'runkit'
 fi
+install_php_extension 'runkit'