html: PHP DomDocument classes are in the `dom` ext