Upgrade Vagrantfile to 7.2

Signed-off-by: Andreas Frömer <[email protected]>

Author: Andreas Frömer

Vagrantfile

@@ -4,7 +4,7 @@ Vagrant.configure("2") do |config|
   config.vm.provision "shell", inline: <<-SHELL
     add-apt-repository ppa:ondrej/php
     apt-get update
-    apt-get install -y php7.1 php7.1-xml php7.1-mbstring php7.1-zip php7.1-curl php7.1-xdebug composer
+    apt-get install -y php7.2 php7.2-xml php7.2-mbstring php7.2-zip php7.2-curl php7.2-xdebug composer
 
     # Switch to /vagrant and install packages
     cd /vagrant && composer install