jippi/puppet-php — pull request #25 by marco-jantke (2013-10-14 12:13:16+00:00)
Title: Fixed missing dependency management.

The changes to the cli/php.ini failed as it was executed before the package was installed. Thus I added some dependency management to ensure, that the package is installed before it's config is altered.