[php-maint] Bug#831739: Bug#831739: undefined symbol "php_XML_SetUserData" in plugin shared library wddx.so
ondrej at sury.org
Mon Sep 5 07:09:44 UTC 2016
Hi J G,
are you sure about the priorities?
$ cat /etc/php/7.0/mods-available/xml.ini
; configuration for php xml module
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?
Ondřej Surý <ondrej at sury.org>
Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server
Knot Resolver (https://www.knot-resolver.cz/) – secure, privacy-aware,
fast DNS(SEC) resolver
Vše pro chleba (https://vseprochleba.cz) – Potřeby pro pečení chleba
On Fri, Aug 26, 2016, at 19:06, J G Miller wrote:
> Concerning the undefined symbol "php_XML_SetUserData" in
> this symbol "php_XML_SetUserData" appears to be defined in
> Therfore the plugin wddx must be loaded after the plugin xml.so
> The Debian configuration priority for xml and wddx are apparently both
> set to 20, so
> that in the conf.d directories of symbolic links, the
> alphabetic/alphanumeric listing
> result in wddx being loaded before xml.
> Therefore the solutio to the problem is to assign a lower priority (30
> say) to wddx
> so that wddx appears after xml in the alphabetic/alphanumeric listing of
> the conf.d
> directories of symbolic links.
> In some previous versions, did xml.ini in fact have a priority of 15 to
> that this problem did not occur?
> pkg-php-maint mailing list
> pkg-php-maint at lists.alioth.debian.org
More information about the pkg-php-maint