Bug #74746 [Dup->ReO]: Adjust ZEND_EXTENSION_API_NO

Edit report at https://bugs.php.net/bug.php?id=74746&edit=1 ID: 74746 Updated by: cmb@php.net Reported by: rainer dot jung at kippdata dot de Summary: Adjust ZEND_EXTENSION_API_NO -Status: Duplicate +Status: Re-Opened Type: Bug Package: *General Issues Operating System: Any PHP Version: 7.2.0alpha1 -Assigned To: cmb +Assigned To: Block user comment: N Private report: N New Comment: > […], 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. Previous Comments: ------------------------------------------------------------------------ [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. ------------------------------------------------------------------------ [2017-06-12 00:16:03] rainer dot jung at kippdata dot de Description: ------------ Last releases updated ZEND_EXTENSION_API_NO, ZEND_MODULE_API_NO and PHP_API_VERSION in sync. Version 7.2.0alpha1 only updated ZEND_MODULE_API_NO and PHP_API_VERSION to "20160731", but ZEND_EXTENSION_API_NO is still at 320160303 (same value as for 7.1). I do not know the exact rules, but previous handling indicates it should be updated to 320160731. Regards and thanks. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=74746&edit=1