From 2ac1586984ee6e451ecb42d4790a3c2bfdf11445 Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Tue, 4 Oct 2016 11:12:14 +0200
Subject: [PATCH] [travis] Use hhvm-stable instead of discontinued hhvm-3.12

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

diff --git a/.travis.yml b/.travis.yml
index bbf7547445..62917b9c6b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,7 +18,7 @@ env:
 matrix:
     include:
         # Use the newer stack for HHVM as HHVM does not support Precise anymore since a long time and so Precise has an outdated version
-        - php: hhvm-3.12
+        - php: hhvm-stable
           sudo: required
           dist: trusty
           group: edge