mirror of
https://github.com/php/php-src.git
synced 2026-03-28 02:02:32 +01:00
zend_get_type_by_name() now produces the correct value by itself, so we no longer need these workarounds.
zend_get_type_by_name() now produces the correct value by itself, so we no longer need these workarounds.