From 7b665a18a1a4bc4dbc170322db11ebec10f70973 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Thu, 4 Sep 2014 04:23:11 +0200
Subject: [PATCH] runkit: Change git from git:// to https://

---
 travis/install-php-extensions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/install-php-extensions.sh b/travis/install-php-extensions.sh
index 0f8835ee..8431bcf0 100755
--- a/travis/install-php-extensions.sh
+++ b/travis/install-php-extensions.sh
@@ -23,6 +23,6 @@ function install_php_extension
 if [ "$TRAVIS_PHP_VERSION" != "5.6" ]
 then
     # runkit
-    git clone git://github.com/zenovich/runkit.git
+    git clone https://github.com/zenovich/runkit.git
     install_php_extension 'runkit'
 fi