# On Trusty, mysql user 'travis' doesn't have create database rights
# Postgres has no user called 'root'.
- env: dbtype=mysql dbuser=root
- php: 5.5
- - env: dbtype=postgres dbuser=travis
- php: 5.5
- # https://docs.travis-ci.com/user/languages/php#HHVM-versions
+ php: 7.2
- env: dbtype=mysql dbuser=root
- php: hhvm-3.18
+ php: 7.1
+ - env: dbtype=postgres dbuser=travis
+ php: 7.1
- env: dbtype=mysql dbuser=root
- php: hhvm-3.21
+ php: 7
+ # https://docs.travis-ci.com/user/languages/php#HHVM-versions
- env: dbtype=mysql dbuser=root
php: hhvm-3.24
- env: dbtype=mysql dbuser=root
- php: 7
- - env: dbtype=mysql dbuser=root
- php: 7.1
+ php: hhvm-3.21
- env: dbtype=mysql dbuser=root
- php: 7.2
+ php: hhvm-3.18
+ allow_failures:
+ - php: hhvm-3.24
+ - php: hhvm-3.21
services:
- mysql
--dbuser "$dbuser"
--dbpass ""
--scriptpath "/w"
+ - echo -en "\n\nrequire_once __DIR__ . '/includes/DevelopmentSettings.php';\n" >> ./LocalSettings.php
+ - php -l ./LocalSettings.php
script:
- php tests/phpunit/phpunit.php