Bug#831739: [php-maint] Bug#831739: undefined symbol "php_XML_SetUserData" in plugin shared library wddx.so

Hi J G, are you sure about the priorities? $ cat /etc/php/7.0/mods-available/xml.ini ; configuration for php xml module ; priority=15 extension=xml.so I just checked the package and it looks correct on my side. Do you still have the apt.log related to the php7.0-xml installation? Cheers, -- O

Bug#831739: undefined symbol "php_XML_SetUserData" in plugin shared library wddx.so

Concerning the undefined symbol "php_XML_SetUserData" in /usr/lib/php/20151012/wddx.so, this symbol "php_XML_SetUserData" appears to be defined in /usr/lib/php/20151012/xml.so Therfore the plugin wddx must be loaded after the plugin xml.so The Debian configuration priority for xml and wddx are