mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-23 10:01:55 +02:00
Code Issues Releases Wiki Activity

[ticket/12470] Correctly set up the php extensions

Browse Source 
PHPBB3-12470
This commit is contained in:
Joas Schilling
2014-05-03 01:18:55 +02:00
parent 994ab684bc
commit d2b783338f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
travis/setup-phpbb.sh
View File

@@ -14,9 +14,9 @@ then
travis/setup-mariadb.sh
fi
if [ "$TRAVIS_PHP_VERSION" == "hhvm" ]
if [ "$TRAVIS_PHP_VERSION" != "hhvm" ]
then
stravis/setup-php-extensions.sh
travis/setup-php-extensions.sh
fi
if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.3.19', '>=');"` == "1" ]