Edit report at https://bugs.php.net/bug.php?id=55733&edit=1
ID: 55733
User updated by: bugzilla33 at gmail dot com
Reported by: bugzilla33 at gmail dot com
Summary: problem: date + new version of
SERVER['REQUEST_TIME']
Status: Bogus
Type: Bug
Package: Date/time related
Operating System: All
PHP Version: 5.4.0beta1
Block user comment: N
Private report: N
New Comment:
derick, are you asleep?
SERVER['REQUEST_TIME'] includes microseconds in PHP 5.4
news.txt:
- Changed $_SERVER['REQUEST_TIME'] to include microsecond precision. (Ilia)
Previous Comments:
------------------------------------------------------------------------
[2011-09-20 08:08:08] der...@php.net
Thank you for taking the time to write to us, but this is not
a bug. Please double-check the documentation available at
http://www.php.net/manual/ and the instructions on how to report
a bug at http://bugs.php.net/how-to-report.php
The SERVER['REQUEST_TIME'] doesn't include microseconds (it's an int) and does
can't show anything else but "0000000" with date('u').
------------------------------------------------------------------------
[2011-09-20 07:39:07] bugzilla33 at gmail dot com
Description:
------------
problem: date + new version of SERVER['REQUEST_TIME']
Test script:
---------------
<?=date('u',$_SERVER['REQUEST_TIME'])?>
Expected result:
----------------
xxx000
:
423000
or
123000
or
234000
etc...
Actual result:
--------------
000000
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=55733&edit=1
