Skip to content

ambiguous php version checks#4331

Merged
muglug merged 1 commit intovimeo:masterfrom
orklah:php-ambiguous-version
Oct 15, 2020
Merged

ambiguous php version checks#4331
muglug merged 1 commit intovimeo:masterfrom
orklah:php-ambiguous-version

Conversation

@orklah
Copy link
Copy Markdown
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
Copy Markdown
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.

3 participants