5 if [ -n "$GATEWAY_INTERFACE" ] ; then
6 echo 'Can not invoke as CGI!'
10 # These do not support runkit
11 case "$TRAVIS_PHP_VERSION" in
17 # Disabled for now as it causes PHP crashes, we should retry with newer version
19 wget https
://github.com
/runkit
7/runkit
7/releases
/download
/$RVERSION/runkit-
$RVERSION.tgz
20 pecl
install .
/runkit-
$RVERSION.tgz
27 phpenv config-add test
/php-runkit.ini