PHP Puppet Module