X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=.travis.yml;h=73e4af5438b30224380680888fc25820c48cc9ed;hb=0c0477d03fb225ded272d8a42f1d225750e6aae4;hp=b06d9f431b5a79ed0fa74502e454890fdb7db516;hpb=838a10dd07f81d5430fa469103d7936846855cb2;p=lhc%2Fweb%2Fwiklou.git

diff --git a/.travis.yml b/.travis.yml
index b06d9f431b..73e4af5438 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,22 +23,20 @@ matrix:
     # 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
 
 services:
   - mysql
@@ -69,6 +67,8 @@ before_script:
       --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