php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
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 15:00:02 2025 UTC