From 51d4fe23a7897802ea37b4c5ba3b7b08d715ae21 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Thu, 30 Jun 2011 16:56:20 +0000
Subject: [PATCH] REQUEST_TIME has microseconds

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@312710 c90b9560-bf6c-de11-be94-00142212c4b1
---
 language/predefined/variables/server.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/language/predefined/variables/server.xml b/language/predefined/variables/server.xml
index 6ee995fecf..99c2c97ef6 100644
--- a/language/predefined/variables/server.xml
+++ b/language/predefined/variables/server.xml
@@ -156,6 +156,7 @@
      <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>