Skip to content

Conversation

@staabm
Copy link
Contributor

@staabm staabm commented Nov 7, 2023

No description provided.

@staabm staabm changed the title Update PhpStorm stubs Support non-empty-string in str_shuffle() Nov 7, 2023
@staabm
Copy link
Contributor Author

staabm commented Nov 7, 2023

(sorry for the PR title change.. my browser somehow defaulted to the previous PR title)

@ondrejmirtes ondrejmirtes merged commit 0205282 into phpstan:1.10.x Nov 7, 2023
@ondrejmirtes
Copy link
Member

Thank you.

@staabm staabm deleted the shuffle branch November 7, 2023 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants