This should fix : https://github.com/example42/puppet-php/commit/9e1c2022c3e032c502046e734cae2032a5af7952
@dol can you confirm that this keeps on working for you (should fix also the case with RedHat family)
@erik-smit in order to avoid the installation of a php-devel package you can do something like:
class { 'php':
  package_devel => '',
..
}
please tell me it it makes sense and solves your case.