Skip to content

zend_ast: Remove unused ZEND_AST_EXIT - #17417

Merged
TimWolla merged 1 commit into
php:masterfrom
TimWolla:remove-zend-ast-exit
Jan 9, 2025
Merged

zend_ast: Remove unused ZEND_AST_EXIT#17417
TimWolla merged 1 commit into
php:masterfrom
TimWolla:remove-zend-ast-exit

Conversation

@TimWolla

Copy link
Copy Markdown
Member

This AST node is no longer used since exit() was made a real function in GH-13483.

This AST node is no longer used since `exit()` was made a real function in
phpGH-13483.

@GirgiasGirgias left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Right, this is now handled by the parser directly.

@TimWolla
TimWolla merged commit e421a44 into php:masterJan 9, 2025
@TimWolla
TimWolla deleted the remove-zend-ast-exit branch January 9, 2025 14:46
Sign up for freeto 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

@TimWolla@Girgias