Skip to content

Bleeding edge - more precise extract() signature#2517

Merged
ondrejmirtes merged 1 commit intophpstan:1.10.xfrom
staabm:extr
Jul 20, 2023
Merged

Bleeding edge - more precise extract() signature#2517
ondrejmirtes merged 1 commit intophpstan:1.10.xfrom
staabm:extr

Conversation

@staabm
Copy link
Contributor

@staabm staabm commented Jul 8, 2023

@staabm staabm marked this pull request as ready for review July 8, 2023 08:24
@phpstan-bot
Copy link
Collaborator

This pull request has been marked as ready for review.

@ondrejmirtes
Copy link
Member

Conflict here.

@staabm
Copy link
Contributor Author

staabm commented Jul 20, 2023

rebased

@ondrejmirtes ondrejmirtes merged commit 19ec38c into phpstan:1.10.x Jul 20, 2023
@ondrejmirtes
Copy link
Member

Thank you.

@staabm staabm deleted the extr branch July 20, 2023 13:49
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