I guess this is due to this line: > Preserving user changes to /etc/php5/mods-available/xdebug.ini (renamed > from /etc/php5/conf.d/xdebug.ini)... >
The problem might be bigger than the policy violation, as if the config file holds the old so file location, the extension won't load - so the package will be defacto broken. This might be relevant for more PHP extensions. It would be a great help if you could provide me the content of both files before and after the upgrade. Kaplan