Deployment to production servers with vagrant-php