Bug #74746 [ReO]: Adjust ZEND_EXTENSION_API_NO

Edit report at https://bugs.php.net/bug.php?id=74746&edit=1 ID: 74746 Updated by: nikic@php.net Reported by: rainer dot jung at kippdata dot de Summary: Adjust ZEND_EXTENSION_API_NO Status: Re-Opened Type: Bug Package: *General Issues Operating System: Any PHP Version: 7.2.0alpha1 Assigned To: cmb Block user comment: N Private report: N New Comment: ZEND_EXTENSION_API_NO has already been updated previously... Previous Comments: ------------------------------------------------------------------------ [2017-06-13 19:59:02] rainer dot jung at kippdata dot de 586a22cbadf3d1e37524b53b6436abbb3fbe105f updated ZEND_MODULE_API_NO but *not* ZEND_EXTENSION_API_NO. See my original problem description. ------------------------------------------------------------------------ [2017-06-13 19:11:02] kalle@php.net It seems that it was fixed in 586a22cbadf3d1e37524b53b6436abbb3fbe105f So this can be closed, right Christoph? ------------------------------------------------------------------------ [2017-06-12 12:23:20] cmb@php.net > […], but note that the PR cited there is about > ZEND_MODULE_API_NO which was updated in the meantime. It doesn't appear to have been updated, see <https://github.com/php/php-src/blob/master/Zend/zend_modules.h#L36> Anyhow, re-opening so updating ZEND_EXTENSION_API_NO won't get overlooked. ------------------------------------------------------------------------ [2017-06-12 11:10:27] rainer dot jung at kippdata dot de Yes it is kind of duplicate of bug #74735, but note that the PR cited there is about ZEND_MODULE_API_NO which was updated in the meantime. What is still at the old level is ZEND_EXTENSION_API_NO. ------------------------------------------------------------------------ [2017-06-12 10:32:36] cmb@php.net That appears to be a duplicate of bug #74735. ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=74746 -- Edit this bug report at https://bugs.php.net/bug.php?id=74746&edit=1