The php-domxml package contains a dynamic shared object (DSO) for PHP. 
To activate it, make sure a file /etc/php/19_domxml.ini is present and
contains the line 'extension = domxml.so'.
