[PHP-DOC] cvs: phpdoc /en/reference/datetime/functions date.xml time.xml

[Jakub Vrana]

vrana           Thu Oct 13 08:56:31 2005 EDT

  Modified files:              
    /phpdoc/en/reference/datetime/functions     date.xml time.xml 
  Log:
  Mention REQUEST_TIME (bug #34713)
  
http://cvs.php.net/diff.php/phpdoc/en/reference/datetime/functions/date.xml?r1=1.24&r2=1.25&ty=u
Index: phpdoc/en/reference/datetime/functions/date.xml
diff -u phpdoc/en/reference/datetime/functions/date.xml:1.24 
phpdoc/en/reference/datetime/functions/date.xml:1.25
--- phpdoc/en/reference/datetime/functions/date.xml:1.24        Thu Sep 29 
10:10:39 2005
+++ phpdoc/en/reference/datetime/functions/date.xml     Thu Oct 13 08:56:28 2005
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.24 $ -->
+<!-- $Revision: 1.25 $ -->
 <!-- splitted from ./en/functions/datetime.xml, last change in rev 1.2 -->
 <refentry id="function.date">
  <refnamediv>
@@ -27,6 +27,12 @@
     parameter.
    </para>
   </tip>
+  <tip>
+   <para>
+    Timestamp of the start of the request is available in
+    <varname>$_SERVER['REQUEST_TIME']</varname> since PHP 5.1.
+   </para>
+  </tip>
   <note>
    <para>
     The valid range of a timestamp is typically from Fri, 13 Dec
http://cvs.php.net/diff.php/phpdoc/en/reference/datetime/functions/time.xml?r1=1.6&r2=1.7&ty=u
Index: phpdoc/en/reference/datetime/functions/time.xml
diff -u phpdoc/en/reference/datetime/functions/time.xml:1.6 
phpdoc/en/reference/datetime/functions/time.xml:1.7
--- phpdoc/en/reference/datetime/functions/time.xml:1.6 Sun Apr 24 19:50:58 2005
+++ phpdoc/en/reference/datetime/functions/time.xml     Thu Oct 13 08:56:29 2005
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.6 $ -->
+<!-- $Revision: 1.7 $ -->
 <!-- splitted from ./en/functions/datetime.xml, last change in rev 1.2 -->
 <refentry id="function.time">
  <refnamediv>
@@ -16,6 +16,12 @@
    Returns the current time measured in the number of seconds since
    the Unix Epoch (January 1 1970 00:00:00 GMT).
   </para>
+  <tip>
+   <para>
+    Timestamp of the start of the request is available in
+    <varname>$_SERVER['REQUEST_TIME']</varname> since PHP 5.1.
+   </para>
+  </tip>
   <para>
    <example>
     <title><function>time</function> example</title>