Bug #71314 [Com]: var_export(INF) prints INF.0
| From: | hamid dot a85 at gmail dot com | Date: | Fri, 08 Jan 2016 17:57:07 +0000 |
| Subject: | Bug #71314 [Com]: var_export(INF) prints INF.0 | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-198530@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=71314&edit=1
ID: 71314
Comment by: hamid dot a85 at gmail dot com
Reported by: hamid dot a85 at gmail dot com
Summary: var_export(INF) prints INF.0
Status: Closed
Type: Bug
Package: *General Issues
Operating System: Ubuntu 14.04
PHP Version: 7.0.2
Assigned To: ajf
Block user comment: N
Private report: N
New Comment:
Thanks ajf for the agility.
Previous Comments:
------------------------------------------------------------------------
[2016-01-08 17:24:42] ajf@php.net
This is fixed now in the PHP-7.0 and master branches. Hopefully it'll make its way into 7.0.3,
this is a pretty awful regression which is entirely my fault, and I apologise for that.
------------------------------------------------------------------------
[2016-01-08 17:22:07] ajf@php.net
Automatic comment on behalf of ajf@ajf.me
Revision: http://git.php.net/?p=php-src.git;a=commit;h=ae50a0c0beba08e6abbc6cb5131fc44d5c6dde42
Log: Fix bug #71314
------------------------------------------------------------------------
[2016-01-08 17:21:05] ajf@php.net
Automatic comment on behalf of ajf@ajf.me
Revision: http://git.php.net/?p=php-src.git;a=commit;h=ae50a0c0beba08e6abbc6cb5131fc44d5c6dde42
Log: Fix bug #71314
------------------------------------------------------------------------
[2016-01-08 17:20:06] ajf@php.net
Related To: Bug #66179
------------------------------------------------------------------------
[2016-01-08 17:05:23] ajf@php.net
Well, that'll teach me to better test my bug fixes. I introduced this when fixing bug #66179.
------------------------------------------------------------------------
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=71314
--
Edit this bug report at https://bugs.php.net/bug.php?id=71314&edit=1