php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Request #53257 Request a $_SERVER['REQUEST_TIME_MICRO']
Submitted: 2010-11-07 21:49 UTC Modified: 2010-11-07 21:56 UTC
From: antonio dot musarra at altran dot it Assigned:
Status: Not a bug Package: *General Issues
PHP Version: 5.2.14 OS: Unix/Linux/MacOSX
Private report: No CVE-ID: None
View Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: antonio dot musarra at altran dot it
New email:
PHP Version: OS:

 

 [2010-11-07 21:49 UTC] antonio dot musarra at altran dot it 
Description:
------------
It would be very useful to introduce a new global variable (es. $_SERVER['REQUEST_TIME_MICRO']) indicating the time stamp at the start of the php script but with an indication of microseconds.

Thanks,
Antonio Musarra.

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2010-11-07 21:56 UTC] felipe@php.net
-Status: Open +Status: Bogus
 [2010-11-07 21:56 UTC] felipe@php.net 
The microsecond precision has been added to REQUEST_TIME, and will be present in the next future PHP version.

See http://news.php.net/php.cvs/63768
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved. 		Last updated: Sat Dec 06 14:00:01 2025 UTC