Bug #72384 [Com]: php_log_err fails with undeclared identifier

From: 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

« previous php.bugs (#201669) next »