Bug report

see comments in https://www.php.net/manual/en/domnode.lookupnamespaceuri.php

for some reason, phpstan thinks it is allowed only since PHP 8.0

Code snippet that reproduces the problem

https://phpstan.org/r/8113c06a-7b64-4e8f-97d1-d95f17fed821

Expected output

no error for all php versions

Did PHPStan help you today? Did it make you happy in any way?

No response