Error when setting phpVersion to 80003

[rodrigoprimo]

I'm running PHP 8.0.3 and phpstan 0.12.82. If I set phpVersion to 80003 in my .neon file, I get the following error when running phpstan:

Invalid configuration:
The option 'parameters › phpVersion' expects to be int:70100..80000|null, 80003 given.

Shouldn't phpstan accept 80003 as this version has been released already, and I believe it is supported by phpstan? Anything that I'm missing?

I found this error in a project that I'm working on. We are setting phpVersion dynamically to match the version of PHP that is installed on a given machine. When I updated my local dev environment to PHP 8.0.3, our checks with phpstan started erroring.

Thanks

[ondrejmirtes]

Yeah, 80003 could be accepted but there would be no difference between 80000 and 80003. Next changes will come in 80100.

[rodrigoprimo]

Thanks for your quick reply, @ondrejmirtes. Is accepting 80003 planned? Or is there a way for projects using phpstan to set phpVersion dynamically without running into the error above? Maybe a way to set phpVersion using just the minor version (8.0) ignoring any patch versions (like 8.0.3)?

[ondrejmirtes]

Implemented: phpstan/phpstan-src@4db2e14

[rodrigoprimo]

Thank you very much for implementing this change and for doing it so quickly 🎉