vrana Fri Aug 6 16:12:01 2004 EDT
Modified files:
/phpdoc/en/reference/datetime/functions gmmktime.xml
Log:
is_dst is useless (bug #14391)
http://cvs.php.net/diff.php/phpdoc/en/reference/datetime/functions/gmmktime.xml?r1=1.5&r2=1.6&ty=u
Index: phpdoc/en/reference/datetime/functions/gmmktime.xml
diff -u phpdoc/en/reference/datetime/functions/gmmktime.xml:1.5
phpdoc/en/reference/datetime/functions/gmmktime.xml:1.6
--- phpdoc/en/reference/datetime/functions/gmmktime.xml:1.5 Fri Aug 6 16:05:23
2004
+++ phpdoc/en/reference/datetime/functions/gmmktime.xml Fri Aug 6 16:12:00 2004
@@ -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>
@@ -21,6 +21,10 @@
<para>
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
