From 24df856fd9957a72700f818798af804339254920 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 19 Aug 2015 14:53:23 +0200
Subject: [PATCH] PHP 5.3 should now work as well
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 test/install-runkit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/install-runkit b/test/install-runkit
index b3bbf19d53..76663a6855 100755
--- a/test/install-runkit
+++ b/test/install-runkit
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-if [ $TRAVIS_PHP_VERSION = "nightly" -o $TRAVIS_PHP_VERSION = "5.3" -o $TRAVIS_PHP_VERSION = "7.0" ] ; then
+if [ $TRAVIS_PHP_VERSION = "nightly" -o $TRAVIS_PHP_VERSION = "7.0" ] ; then
     exit 0
 fi