You've already forked phpmyadmin
mirror of
https://github.com/phpmyadmin/phpmyadmin.git
synced 2026-10-31 10:54:46 +03:00
13 lines
217 B
Bash
Executable File
13 lines
217 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ "$TRAVIS_PHP_VERSION" = "nightly" -o "$TRAVIS_PHP_VERSION" = "hhvm" -o "$TRAVIS_PHP_VERSION" = "7.0" ] ; then
|
|
exit 0
|
|
fi
|
|
|
|
set -e
|
|
set -x
|
|
|
|
pecl install runkit
|
|
|
|
phpenv config-add test/php-runkit.ini
|