On Fri, 3 Mar 2017, Sara Golemon wrote: > On Fri, Mar 3, 2017 at 5:47 AM, Derick Rethans <der...@php.net> wrote: > >> The average PHP extension is dependent only on the PHP runtime it was > >> built for and probably one or more 3rd party libraries. However, a > >> special class of extensions (such as PDO drivers and much of the XML > >> family) have dependencies on other PHP extensions which may (or may > >> not) be preset at the time they are loaded in via ini settings and/or > >> dl(). > > > > See also: > > https://derickrethans.nl/undefined-symbol.html > > > Exactly! The same underlying issue at work. > > Would I be correct in assuming there's a desire to resolve this issue? > Or are we considering "know your dependencies and configure for them" > to be enough?
Getting this addressed would certainly be great. For the MongoDB extension we've worked around it so that we can at least show a reasonable error message though. cheers, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php