Bug #74746 [ReO]: Adjust ZEND_EXTENSION_API_NO
| From: | rainer dot jung at kippdata dot de | Date: | Tue, 13 Jun 2017 19:59:03 +0000 |
| Subject: | Bug #74746 [ReO]: Adjust ZEND_EXTENSION_API_NO | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-209523@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
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: 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:
586a22cbadf3d1e37524b53b6436abbb3fbe105f updated ZEND_MODULE_API_NO but *not* ZEND_EXTENSION_API_NO.
See my original problem description.
Previous Comments:
------------------------------------------------------------------------
[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.
------------------------------------------------------------------------
[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