From: Reedy <reedy@wikimedia.org>
Date: Thu, 7 Dec 2017 23:10:17 +0000 (+0000)
Subject: Make travis test against PHP 7.2
X-Git-Tag: 1.31.0-rc.0~1251^2
X-Git-Url: http://git.cyclocoop.org/?a=commitdiff_plain;ds=sidebyside;h=cd43f3f6d6978a0c25eab96439a8d9967034ad35;p=lhc%2Fweb%2Fwiklou.git

Make travis test against PHP 7.2

Change-Id: I3e77c383486550e116b4630b56d255ec6c043e2d
---

diff --git a/.travis.yml b/.travis.yml
index 78a2b7d735..64414b5a98 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -35,6 +35,8 @@ matrix:
       php: 7
     - env: dbtype=mysql dbuser=root
       php: 7.1
+    - env: dbtype=mysql dbuser=root
+      php: 7.2
 
 services:
   - mysql