sorry, my bad... i even missed it's in phpinfo() output. i've been mislead by a post somewhere (perhaps intended for php4) saying it should be enabled in php.ini with "extension=simplexml.so" (which was causing an error of course) and the existence of a "php-simplexml" package in other distros. should have checked better first.
-- You received this bug notification because you are a member of Ubuntu Server Team, which is a bug assignee. https://bugs.launchpad.net/bugs/93603 Title: RFE: Add more php5 extensions (like php5-gmp) -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
