Skip to content

Conversation

@ndossche
Copy link
Member

GH-13516 was created before the new DOM files were added, and the PR was never rebased to include the new DOM files, so there are three places which were not replaced.

…es in ext-dom

phpGH-13516 was created before the new DOM files were added, and the PR was
never rebased to include the new DOM files, so there are three places
which were not replaced.
Copy link
Member

@arnaud-lb arnaud-lb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@ndossche ndossche merged commit 59e639b into php:master Jun 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants