Skip to content

Conversation

Girgias
Copy link
Member

@Girgias Girgias commented Sep 12, 2024

No description provided.

Copy link
Member

@nielsdos nielsdos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see anything wrong here, it's a nice cleanup.
Maybe just wait for Jakub to give the green light for the slight API change in ext/standard, but that also looks harmless to me.

@Girgias Girgias merged commit 2513258 into php:master Sep 14, 2024
10 checks passed
@Girgias Girgias deleted the phar-flush branch September 14, 2024 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants