mysql.ini should be removed on Debian, as it is on Ubuntu

[thatgraemeguy]

https://github.com/voxpupuli/puppet-php/blob/df68a3af51d77df22e3ccff3f166d16ebac0a013/manifests/extension/config.pp#L92

The above code which applies to Ubuntu must also apply to Debian, which also does not need mysql.ini.

[Elbandi]

You can install php 5.6 from sury repo (https://launchpad.net/~ondrej/+archive/ubuntu/php) on ubuntu. So the mysql ext sould be handled from php global version

[mdklapwijk]

this fixed it for me:

...
  if $facts['os']['name'] =~ /(Debian|Ubuntu)/ and $zend != true and $name == 'mysql' {
    # Do not manage the .ini file if it's mysql.  PHP 7.0+ do not have
    # mysql.so.  If mysql.ini exists and version is 7.0+, then remove it.
    $real_ensure = 'absent'
  } else {
    $real_ensure = $ensure
  }
...