cvs: phpdoc /en/reference/datetime/functions gmmktime.xml

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