derick Sun Apr 7 08:08:32 2002 EDT
Modified files:
/phpdoc/nl/functions datetime.xml
Log:
- Sync
Index: phpdoc/nl/functions/datetime.xml
diff -u phpdoc/nl/functions/datetime.xml:1.13 phpdoc/nl/functions/datetime.xml:1.14
--- phpdoc/nl/functions/datetime.xml:1.13 Mon Apr 1 12:50:46 2002
+++ phpdoc/nl/functions/datetime.xml Sun Apr 7 08:08:31 2002
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- EN-Revision: 1.69 Maintainer: derick Status: ready -->
+<!-- EN-Revision: 1.70 Maintainer: derick Status: ready -->
<reference id="ref.datetime">
<title>Date en Time functies</title>
<titleabbrev>Date/time</titleabbrev>
@@ -724,10 +724,11 @@
date en time.
</para>
<para>
- <parameter>Is_dst</parameter> kan naar 1 gezet worden als de
- tijd tijdens zomertijd valt, of 0 wannneer dat niet zo is,
- of -1 (default) als het niet bekend is of de tijd zich in zomertijd
- bevindt.
+ <parameter>Is_dst</parameter> kan naar 1 gezet worden als de tijd tijdens
+ zomertijd valt, of 0 wannneer dat niet zo is, of -1 (default) als het niet
+ bekend is of de tijd zich in zomertijd bevindt. Als deze parameter niet
+ wordt meegegeven probeert PHP het zelf uit te zoeken wat kan leiden tot
+ niet verwachte, maar wel correcte resultaten.
</para>
<note>
<para>