Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ambiguous php version checks #4331

Merged
merged 1 commit into from Oct 15, 2020
Merged

Conversation

orklah
Copy link
Collaborator

@orklah orklah commented Oct 14, 2020

This PR aims to fix some case where the PHP version checks are ambiguous and could lead to regressions when the php_minor_version start from 0 again in PHP 8.0

@muglug muglug merged commit 5b7e525 into vimeo:master Oct 15, 2020
@muglug
Copy link
Collaborator

muglug commented Oct 15, 2020

Thanks!

muglug pushed a commit that referenced this pull request Oct 15, 2020
danog pushed a commit to danog/psalm that referenced this pull request Jan 29, 2021
@orklah orklah deleted the php-ambiguous-version branch September 14, 2021 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants