Bug #71314 [Com]: var_export(INF) prints INF.0

From: Date: Fri, 08 Jan 2016 17:24:42 +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-198529@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: ajf@php.net 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: 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. Previous Comments: ------------------------------------------------------------------------ [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. ------------------------------------------------------------------------ [2016-01-08 14:12:31] hamid dot a85 at gmail dot com general issue ------------------------------------------------------------------------ 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

« previous php.bugs (#198529) next »