Bug #74746 [Dup]: Adjust ZEND_EXTENSION_API_NO

Edit report at https://bugs.php.net/bug.php?id=74746&edit=1 ID: 74746 User updated by: rainer dot jung at kippdata dot de Reported by: rainer dot jung at kippdata dot de Summary: Adjust ZEND_EXTENSION_API_NO Status: Duplicate 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: 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. Previous Comments: ------------------------------------------------------------------------ [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