[PHP-DEV] PHP 7.3 dom change?

[Rasmus Lerdorf]

I've been walking through the PHP 7.2->7.3 ext/dom diffs but I don't see
what has caused this change: https://3v4l.org/hEmmR
What did I miss?

-Rasmus