Bug #74746 [Opn->Dup]: Adjust ZEND_EXTENSION_API_NO
| From: | cmb@php.net | Date: | Mon, 12 Jun 2017 10:32:37 +0000 |
| Subject: | Bug #74746 [Opn->Dup]: Adjust ZEND_EXTENSION_API_NO | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-209499@lists.php.net to get a copy of this message | ||
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: Open
+Status: Duplicate
Type: Bug
Package: *General Issues
Operating System: Any
PHP Version: 7.2.0alpha1
-Assigned To:
+Assigned To: cmb
Block user comment: N
Private report: N
New Comment:
That appears to be a duplicate of bug #74735.
Previous Comments:
------------------------------------------------------------------------
[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