ext/dom: Sync public headers#21921

petk merged 1 commit intophp:masterphp/php-src:masterfrom

petk:patch-dom-public-headerspetk/php-src:patch-dom-public-headersCopy head branch name to clipboard