Skip to content

Optimize size of ext/dom#12830

Merged
nielsdos merged 3 commits intophp:masterfrom
nielsdos:dom-shrink
Nov 29, 2023

Commits

Commits on Nov 29, 2023