Implement PHP-specific extensions to Dom (#14754)

See RFC: https://wiki.php.net/rfc/dom_additions_84