mirror of
https://github.com/php/php-src.git
synced 2026-03-31 04:32:19 +02:00
Especially as we are widening a zend_result to int just to immediately narrow it back to a zend_result.
Especially as we are widening a zend_result to int just to immediately narrow it back to a zend_result.