Stubs are missing class constants and properties

[ondrejmirtes]

https://bugs.php.net/bug.php?id=80188

[kocsismate]

I've just started to declare constants (e.g. php/php-src#8630) :) Besides, almost all properties have been declared in the meanwhile. The majority of the exceptions will be merged soon: php/php-src#8534 and php/php-src#8515

[kocsismate]

P.S. I've just noticed that https://github.com/phpstan/php-8-stubs/blob/main/extractor/extract.php#L589 is counterproductive since PHP 8.1: it removes the tentative return type. The same is true for PDO::getAttribute().

[ondrejmirtes]

@kocsismate Can you actually make PHPStan fail (false positive) or succeed (false negative) with a relevant bug on phpstan.org/try? Besides php-8-stubs, PHPStan also uses jetbrains/phpstorm-stubs and this file: https://github.com/phpstan/phpstan-src/blob/1.7.x/resources/functionMap.php

The logic how each of these sources are used and merged isn't trivial...

[kocsismate]

Done: phpstan/phpstan#7317