Skip to content

Promote warnings to error in DOM ext - #5418

Closed
Girgias wants to merge 7 commits into
php:masterfrom
Girgias:dom-warning-to-error
Closed

Promote warnings to error in DOM ext#5418
Girgias wants to merge 7 commits into
php:masterfrom
Girgias:dom-warning-to-error

Commits

  1. Commits on Sep 22, 2020