From d16c373df335f8adbf6db36a454ae76b14192aeb Mon Sep 17 00:00:00 2001
From: Stefan Siegl <stesie@brokenpipe.de>
Date: Sat, 11 Mar 2017 18:11:27 +0100
Subject: [PATCH] (Vagrantfile) switch to PHP 7.1

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index b578a85..9158b91 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -34,7 +34,7 @@ Vagrant.configure("2") do |config|
       i.vm.provision "shell", inline: <<-SHELL
       add-apt-repository ppa:pinepain/libv8-#{version}
       apt-get update
-      apt-get install -y php7.0-dev libv8-#{version}-dbg libv8-#{version}-dev
+      apt-get install -y php7.1-dev libv8-#{version}-dbg libv8-#{version}-dev
     SHELL
     end
   }