Puppet module for PHP