A general-purpose php module for Puppet