Removed note in REQUEST_TIME about it being a float in 5.4.0.

Added REQUEST_TIME_FLOAT.
Reflects change in 5.4.0 RC6.


git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@322866 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Justin Martin 2012-01-27 19:35:06 +00:00
parent 68c00dcb1a
commit 2536ec9c8f

View file

@ -156,7 +156,16 @@
<listitem>
<simpara>
The timestamp of the start of the request. Available since PHP 5.1.0.
It is <type>float</type> with microseconds since PHP 5.4.0.
</simpara>
</listitem>
</varlistentry>
<varlistentry>
<term>'<varname>REQUEST_TIME_FLOAT</varname>'</term>
<listitem>
<simpara>
The timestamp of the start of the request, with microsecond precision.
Available since PHP 5.4.0.
</simpara>
</listitem>
</varlistentry>