Php::Devel not always called for certain PHP versions. Fixes #36. Thanks @mkdeddens
Php::Devel not always called for certain PHP versions. Fixes #36. Thanks @mkdeddens

puphpet/puppet-puphpet,puphpet/puppet-puphpet,puphpet/puppet-puphpet