### Use PHP 7.1. Paste this into your Vagrant file
config.vm.provision "shell", inline: "sudo php-switch 7.1"
### From the CLI. This will switch php version
vagrant provision
### Vagrant ssh to specific port. Helpful when running behat tests
vagrant ssh -- -R 9515:localhost:9515