From 2536ec9c8f63038fd6857caf82fe4ce856ca301b Mon Sep 17 00:00:00 2001
From: Justin Martin <frozenfire@php.net>
Date: Fri, 27 Jan 2012 19:35:06 +0000
Subject: [PATCH] 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
---
 language/predefined/variables/server.xml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/language/predefined/variables/server.xml b/language/predefined/variables/server.xml
index e37f07e634..9b09055db2 100644
--- a/language/predefined/variables/server.xml
+++ b/language/predefined/variables/server.xml
@@ -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>