Added the PHP puppet module