Bug #70494 [Com]: scripts/dev/check_parameters.php was not updated for PHP 7
| From: | sean at siobud dot com | Date: | Tue, 06 Oct 2015 02:38:17 +0000 |
| Subject: | Bug #70494 [Com]: scripts/dev/check_parameters.php was not updated for PHP 7 | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-196416@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=70494&edit=1
ID: 70494
Comment by: sean at siobud dot com
Reported by: sean at siobud dot com
Summary: scripts/dev/check_parameters.php was not updated for
PHP 7
Status: Open
Type: Bug
Package: *General Issues
Operating System: All
PHP Version: 7.0.0RC2
Block user comment: N
Private report: N
New Comment:
This was fixed + merged https://github.com/php/php-src/pull/1521
Previous Comments:
------------------------------------------------------------------------
[2015-09-14 15:47:08] sean at siobud dot com
Description:
------------
scripts/dev/check_parameters.php was not updated for PHP 7. It currently errors out with.
use preg_replace_callback instead
I assume it also has not been updated for the PHP 7 parameter changes (zend_long and size_t)
I am taking this bug, and will open a PR.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=70494&edit=1