Skip to content

ext/dom: Sync public headers#21921

Merged
petk merged 1 commit into
php:masterfrom
petk:patch-dom-public-headers
May 1, 2026
Merged

ext/dom: Sync public headers#21921
petk merged 1 commit into
php:masterfrom
petk:patch-dom-public-headers

ext/dom: Sync public headers

8460162
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
triage
succeeded Apr 30, 2026 in 4s