Merge remote-tracking branch 'origin/master'

2015-08-19 14:54:16 +02:00 · 2015-08-19 14:54:16 +02:00 · c825ef39ed
commit c825ef39ed
parent e93722b553 003a828d38
1 changed files with 1 additions and 1 deletions
--- 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