From b6d45c5d71dcec6d1c60fc6919d969d1e8b274bd Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Tue, 4 Feb 2014 00:13:36 +0100
Subject: [PATCH] [ticket/11985] Do not try to setup PHP extensions on HHVM.

PHPBB3-11985
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a97e25240a..cbc5b63bff 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,7 @@ services:
 install:
   - sh -c "if [ '$DB' = 'mariadb' ]; then travis/setup-mariadb.sh; fi"
   - sh -c "if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.3.19', '>=');"` = "1" ]; then travis/setup-webserver.sh; fi"
-  - travis/setup-php-extensions.sh
+  - sh -c "if [ '$TRAVIS_PHP_VERSION' != 'hhvm' ]; then travis/setup-php-extensions.sh; fi"
   - cd phpBB
   - php ../composer.phar install --dev --no-interaction --prefer-source
   - cd ..