From 1d249f2651c37a781bf62a99487d9770cfad36a6 Mon Sep 17 00:00:00 2001
From: gggeek <giunta.gaetano@gmail.com>
Date: Sat, 7 Apr 2018 00:27:22 +0100
Subject: [PATCH] Update Travis config

---
 .travis.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ca0fb3a4..c35c7c80 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,8 +1,11 @@
+language: php
+
+# the current Travis VMs are based on Ubuntu Trusty. Alas, those do not have php 5.3 available. So we keep using Precise...
+dist: precise
+
 # NB: we need to use the Trusty images if we want to test on hhvm
 #dist: trusty
 
-language: php
-
 php:
   - 5.3
   - 5.4
@@ -10,6 +13,8 @@ php:
   - 5.6
   - 7.0
   - 7.1
+  - 7.2
+  # hhvm is not available any more on Precise images
   #- hhvm
 
 before_install:
-- 
2.47.0