Make PHP7.2 as default version

IvanChepurnyi · IvanChepurnyi · commit 5966cba362e6 · 2019-03-21T15:48:42.000+01:00
diff --git a/vagrant/provisioning/hypernode.sh b/vagrant/provisioning/hypernode.sh
@@ -34,6 +34,6 @@ fi
 usermod -a -G sudo app
 
 # for xenial switch to PHP7.1
-command -v hypernode-switch-php >/dev/null 2>&1 && hypernode-switch-php 7.1 2>&1
+command -v hypernode-switch-php >/dev/null 2>&1 && hypernode-switch-php 7.2 2>&1
 
 
