search

php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Skip ext/dom pages that rely on xincludes #106

Closed nielsdos closed 11 months ago

nielsdos commented 11 months ago

See https://github.com/php/doc-en/pull/2813