Puppet for PHP 5.4.* version