From 282a402ef28d2bbc973768ab0dbb474cb32e1c32 Mon Sep 17 00:00:00 2001
From: Sander Roobol <sander@php.net>
Date: Fri, 5 Apr 2002 20:18:53 +0000
Subject: [PATCH] Added small note to mktime()

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@76739 c90b9560-bf6c-de11-be94-00142212c4b1
---
 functions/datetime.xml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/functions/datetime.xml b/functions/datetime.xml
index b198f0a301..0a3dc80f53 100644
--- a/functions/datetime.xml
+++ b/functions/datetime.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.69 $ -->
+<!-- $Revision: 1.70 $ -->
  <reference id="ref.datetime">
   <title>Date and Time functions</title>
   <titleabbrev>Date/time</titleabbrev>
@@ -731,14 +731,15 @@ echo "Did nothing in $time seconds";
      to the local date and time.
     </para>
     <para>
-     <parameter>Is_dst</parameter> can be set to 1 if the time is
+     <parameter>is_dst</parameter> can be set to 1 if the time is
      during daylight savings time, 0 if it is not, or -1 (the default)
      if it is unknown whether the time is within daylight savings time
-     or not.
+     or not. If it's unknown, PHP tries to figure it out itself. This can
+     cause unexpected (but not incorrect) results.
     </para>
     <note>
      <para>
-      <parameter>Is_dst</parameter> was added in 3.0.10.
+      <parameter>is_dst</parameter> was added in 3.0.10.
      </para>
     </note>
     <para>