mirror of
https://github.com/php/php-src.git
synced 2026-04-24 16:38:25 +02:00
d29d24427f
zend_extension. Because of the API identifier change in PHP 5.3 you also get a proper warning message now. #- [DOC]