[theme-reviewers] Using DOMDocument

[Greg Priday]

Hi

I spent yesterday moving one of my sites over to a new web host, but I
ran into issues because the host didn't have DOMDocument installed.

The reason I bring this up is because I've submitted 2 themes for
review and both of them rely quite heavily on DOMDocument. Was I wrong
in thinking DOMDocument is a standard part of PHP 5+?

http://php.net/manual/en/class.domdocument.php

Would it be a problem for a theme to use DOMDocument?

Best Regards,
Greg

-- 
I make free WordPress themes
http://siteorigin.com