Skip to content

Fix unexpected deprecated dynamic property warning #9324

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
Aug 15, 2022

Conversation

twose
Copy link
Member

@twose twose commented Aug 13, 2022

Occurred when exit() with uncaught exception in finally block.

Verified

This commit was signed with the committer’s verified signature.
twose twosee
Occurred when exit() with uncaught exception in finally block.
Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

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

Thank you for the PR! I think this is the proper way to solve this; the alternative of declaring the property on UnwindExit and GracefulExit probably makes no sense.

@twose
Copy link
Member Author

twose commented Aug 15, 2022

@cmb69 Thanks for your review! Feel free to merge this whenever you see fit.

@cmb69
Copy link
Member

cmb69 commented Aug 15, 2022

@twose, you already should have commit karma. :)

@twose twose merged commit 7eba683 into php:master Aug 15, 2022
@twose twose deleted the exit_in_finally branch August 15, 2022 12:54
@twose
Copy link
Member Author

twose commented Aug 15, 2022

@cmb69 Fine, just thought it would be more standardized if the pull request was merged by the reviewer, I may make some grammar mistakes in commit messages sometimes... Also feel free to correct me in time if you notice that. :)

@TimWolla
Copy link
Member

@twose Should this be added to NEWS?

twose added a commit that referenced this pull request Aug 15, 2022

Verified

This commit was signed with the committer’s verified signature.
twose twosee
@twose
Copy link
Member Author

twose commented Aug 15, 2022

@twose Should this be added to NEWS?

@TimWolla Thanks for the reminder! I'll remember this point next time.

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.

None yet

3 participants