From 5b43809b48564c6c8619932a31caa723740ebb29 Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@googlemail.com>
Date: Sat, 3 Jun 2017 15:33:25 +0200
Subject: [PATCH] Drop HHVM support

Not dropping any of the HHVM workaround code yet. If someone sorts
out the Travis build, I'm fine with keeping HHVM support.
---
 .travis.yml    | 4 ----
 UPGRADE-4.0.md | 2 ++
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index bf319e3..a51ad07 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,18 +10,14 @@ php:
   - 7.0
   - 7.1
   - nightly
-  - hhvm
 
 install:
   - if [ $TRAVIS_PHP_VERSION = '7.0' ]; then composer require satooshi/php-coveralls '~1.0'; fi
   - composer install --prefer-dist
-  # Disable JIT compilation in hhvm, as the JIT is useless for short live scripts like tests.
-  - if [[ $TRAVIS_PHP_VERSION = hhvm* ]]; then echo -e "hhvm.jit = 0\nhhvm.php7.all = 1" >> /etc/hhvm/php.ini; fi
 
 matrix:
   allow_failures:
     - php: nightly
-    - php: hhvm
   fast_finish: true
 
 script:
diff --git a/UPGRADE-4.0.md b/UPGRADE-4.0.md
index 2a84ee8..4bb4862 100644
--- a/UPGRADE-4.0.md
+++ b/UPGRADE-4.0.md
@@ -6,6 +6,8 @@ Upgrading from PHP-Parser 3.x to 4.0
 PHP-Parser now requires PHP 7.0 or newer to run. It is however still possible to *parse* PHP 5.2-5.6
 source code, while running on a newer version.
 
+Because HHVM does not support PHP 7, HHVM is no longer supported.
+
 ### Changes to the node structure
 
 * Many subnodes that previously held simple strings now store `Identifier` nodes instead (or