Skip to content

Conversation

homersimpsons
Copy link
Collaborator

@homersimpsons homersimpsons commented Jun 10, 2025

Fixes #274

@homersimpsons homersimpsons force-pushed the chore/fix-iterator-tentative-return-type branch from c7e364b to 8c3a60c Compare June 10, 2025 12:44
@homersimpsons homersimpsons force-pushed the chore/fix-iterator-tentative-return-type branch from 8c3a60c to 21abf96 Compare June 10, 2025 12:49
@homersimpsons homersimpsons force-pushed the chore/fix-iterator-tentative-return-type branch from 09d7692 to 577ac8a Compare June 10, 2025 13:01
@homersimpsons homersimpsons merged commit 4664b17 into master Jun 10, 2025
11 checks passed
@homersimpsons homersimpsons deleted the chore/fix-iterator-tentative-return-type branch June 10, 2025 13:11
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.

PHP's interface typing changes

1 participant