Comment 30 for bug 93603

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.