1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-31 03:59:52 +02:00

Merge pull request #1998 from bantu/ticket/12141

[ticket/12141] Disable opcache extension on PHP 5.5.7
This commit is contained in:
Nils Adermann
2014-02-04 02:57:35 -08:00
3 changed files with 57 additions and 22 deletions

View File

@@ -16,8 +16,8 @@ services:
install:
- sh -c "if [ '$DB' = 'mariadb' ]; then travis/setup-mariadb.sh; fi"
- sh -c "if [ '$TRAVIS_PHP_VERSION' != 'hhvm' ]; then travis/setup-php-extensions.sh; fi"
- sh -c "if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.3.19', '>=');"` = "1" ]; then travis/setup-webserver.sh; fi"
- travis/install-php-extensions.sh
- cd phpBB
- php ../composer.phar install --dev --no-interaction --prefer-source
- cd ..