with this PR we strip the @deprecated phpdoc tag on constant definitions, in case the current php version does not match the declared min version.
motivation: report deprecation errors for constants only when the phpversion matches the @deprecated $version we find in the jetbrains/phpstorm-stubs in PHPStan
with this PR we strip the
@deprecated
phpdoc tag on constant definitions, in case the current php version does not match the declared min version.motivation: report deprecation errors for constants only when the phpversion matches the
@deprecated $version
we find in the jetbrains/phpstorm-stubs in PHPStanexample: https://github.com/JetBrains/phpstorm-stubs/blob/9608c953230b08f07b703ecfe459cc58d5421437/filter/filter.php#L478