[php-maint] Bug#817202: zlib.ini causes: unable to delete old directory '/etc/php/mods-available': Directory not empty

[積丹尼 Dan Jacobson]

Package: php-common
Version: 1:35

Unpacking php-common (1:35) over (1:7.0+32) ...
dpkg: warning: unable to delete old directory '/etc/php/mods-available': Directory not empty
Preparing to unpack .../php-cli_1%3a7.0+35_all.deb ...

$ ls -Rl /etc/php/mods-available
/etc/php/mods-available:
total 4
-rw-r--r-- 1 root root 70 02-26 19:38 zlib.ini