DomDocument exists in DOM extension

DomDocument comes actually from DOM, not XML PHP extension