Puppet module for php