From bde79d64e1f449a263b37f1b4d93aa28e761a100 Mon Sep 17 00:00:00 2001 From: Xavier Rousset Date: Mon, 18 Feb 2019 17:46:10 +0100 Subject: [PATCH] PHRAS-1802 Update default vagrant php version --- Vagrantfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index bca737d028..4e71464ef1 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -35,7 +35,7 @@ else if which('ifconfig') end $php = [ "5.6", "7.0", "7.1", "7.2" ] -$phpVersion = ENV['phpversion'] ? ENV['phpversion'] : "5.6"; +$phpVersion = ENV['phpversion'] ? ENV['phpversion'] : "7.0"; unless Vagrant.has_plugin?('vagrant-hostmanager') raise "vagrant-hostmanager is not installed! Please run\n vagrant plugin install vagrant-hostmanager\n\n" @@ -166,4 +166,4 @@ Vagrant.configure("2") do |config| config.vm.synced_folder "./", "/vagrant" end -end \ No newline at end of file +end