Practical PHP Deployment with Jenkins