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

Support non-empty-string in str_shuffle() #2717

Merged
merged 1 commit into from Nov 7, 2023

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
416 of 418 checks passed
@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
Projects
None yet
2 participants