puppet module for php5