Invalid error: Access to an undefined properties in XMLParser (nodeType, name and isEmptyElement)

[k00ni]

Bug report

A subclass of XMLParser must have the following properties re-defined or PHPStan will complain:

• nodeType
• name
• isEmptyElement

According to PHP documentation, these properties are public and already defined in XMLParser class.

My test setup uses PHP 8.2.

Code snippet that reproduces the problem

https://phpstan.org/r/3471ddc8-f42e-499a-92a7-3a730bf5b78c

Expected output

No error, because properties are defined in mother class already.

[ondrejmirtes]

Duplicate of #8629

[k00ni]

Alright, I checked open issues before, but only searched for "XMLParser" and not "XMLReader", as in #8629.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.