php jenkins example