Puppet module for php5