update debian/etc/php.ini: merge with php.ini-production