Skip to content

Remove unused zend_dump_variables() #13767

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

Merged
merged 1 commit into from
Mar 20, 2024
Merged

Conversation

petk
Copy link
Member

@petk petk commented Mar 20, 2024

This one also doesn't seem to be used in the code any longer.

@petk petk merged commit 4bf64b5 into php:master Mar 20, 2024
@petk petk deleted the patch-zend_dump_variables branch March 20, 2024 13:37
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