[GIT-PULLS] [php-src] PR #23013: Zend: remove zend_get_compiled_variable_value()

[email protected] (Girgias) Tue, 4 Aug 2026 00:20:33 +0000
Newsgroups php.git-pulls
Message-ID <[email protected]>
Pull Request: https://github.com/php/php-src/pull/23013
Author: Girgias

As it is unused, and there is no usage on SourceGraph either. [1]

[1] https://sourcegraph.com/search?q=context:global+-f:zend_execute.c+-f:zend_execute.h+zend_get_compiled_variable_value&patternType=keyword&sm=0