From 490d4dcf04d0bf33b464228c8d1b6eefc17908fd Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Fri, 6 Aug 2004 20:12:00 +0000
Subject: [PATCH] is_dst is useless (bug #14391)

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@165560 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/datetime/functions/gmmktime.xml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/reference/datetime/functions/gmmktime.xml b/reference/datetime/functions/gmmktime.xml
index 87ec9ff096..3e4a1a98b9 100644
--- a/reference/datetime/functions/gmmktime.xml
+++ b/reference/datetime/functions/gmmktime.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.5 $ -->
+<!-- $Revision: 1.6 $ -->
 <!-- splitted from ./en/functions/datetime.xml, last change in rev 1.2 -->
   <refentry id="function.gmmktime">
    <refnamediv>
@@ -22,6 +22,10 @@
      Identical to <function>mktime</function> except the passed
      parameters represents a GMT date.
     </para>
+    <para>
+     Parameters always represent a GMT date so <parameter>is_dst</parameter>
+     doesn't influence the result.
+    </para>
     <para>
      Like <function>mktime</function>, arguments may be left out in order 
      from right to left, with any omitted arguments being set to the