Bug #72384 [Com]: php_log_err fails with undeclared identifier
| From: | kronecker8 at gmail dot com | Date: | Wed, 15 Jun 2016 22:31:54 +0000 |
| Subject: | Bug #72384 [Com]: php_log_err fails with undeclared identifier | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-201669@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=72384&edit=1
ID: 72384
Comment by: kronecker8 at gmail dot com
Reported by: phpdev at ehrhardt dot nl
Summary: php_log_err fails with undeclared identifier
Status: Closed
Type: Bug
Package: Compile Failure
Operating System: *
PHP Version: 7.1.0alpha1
Assigned To: derick
Block user comment: N
Private report: N
New Comment:
My php version: 7.1.0alpha1
Previous Comments:
------------------------------------------------------------------------
[2016-06-15 10:57:56] phpdev at ehrhardt dot nl
Aha! Anatol was as quick as always.
------------------------------------------------------------------------
[2016-06-15 10:50:54] derick@php.net
It is also not only Windows. But it *is* fixed (in PHP) already in https://github.com/php/php-src/commit/d2bc82586b67882fdcdabac8e05cfbb4104bfd47
------------------------------------------------------------------------
[2016-06-14 23:36:01] phpdev at ehrhardt dot nl
@Pierre: the problem is a generic one. Every extension that calls php_log_err() will fail to compile
with PHP 7.1 on Windows. I just took xdebug as example, because that is where I encountered it and
where I applied the workaround.
------------------------------------------------------------------------
[2016-06-14 23:30:24] phpdev at ehrhardt dot nl
@kronecker8: with which PHP version?
------------------------------------------------------------------------
[2016-06-14 23:23:07] kronecker8 at gmail dot com
I got this bug on Ubuntu 14.04 (x64). Can anybody help me?
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=72384
--
Edit this bug report at https://bugs.php.net/bug.php?id=72384&edit=1