Skip to content

Conversation

@weirdan
Copy link
Collaborator

@weirdan weirdan commented Jan 3, 2022

No description provided.

@weirdan weirdan added the release:removed The PR will be included in 'Removed' section of the release notes label Jan 3, 2022
@weirdan weirdan added this to the Psalm 5 milestone Jan 3, 2022
@weirdan weirdan requested a review from orklah January 3, 2022 10:06
@weirdan weirdan merged commit b8bad62 into vimeo:master Jan 3, 2022
@weirdan weirdan deleted the drop-legacy-binaries branch January 3, 2022 10:10
@orklah
Copy link
Collaborator

orklah commented Jan 3, 2022

I believe spl_object_id can be dropped too, as soon as we raise our min PHP version. The polyfill was there for PHP 7.1

@weirdan
Copy link
Collaborator Author

weirdan commented Jan 3, 2022

I believe spl_object_id can be dropped too

Yes, I left it for the PR bumping the minimum PHP version.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release:removed The PR will be included in 'Removed' section of the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants