samesch Sat Sep 4 10:14:26 2004 EDT
Modified files:
/phpdoc/en/reference/session/functions session-destroy.xml
Log:
typo
http://cvs.php.net/diff.php/phpdoc/en/reference/session/functions/session-destroy.xml?r1=1.3&r2=1.4&ty=u
Index: phpdoc/en/reference/session/functions/session-destroy.xml
diff -u phpdoc/en/reference/session/functions/session-destroy.xml:1.3
phpdoc/en/reference/session/functions/session-destroy.xml:1.4
--- phpdoc/en/reference/session/functions/session-destroy.xml:1.3 Tue Aug 31
20:31:31 2004
+++ phpdoc/en/reference/session/functions/session-destroy.xml Sat Sep 4 10:14:25
2004
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.3 $ -->
+<!-- $Revision: 1.4 $ -->
<!-- splitted from ./en/functions/session.xml, last change in rev 1.2 -->
<refentry id="function.session-destroy">
<refnamediv>
@@ -20,7 +20,7 @@
</simpara>
<para>
In order to kill the session altogether, like to log the user out, the
- session id must also be unset. If a cookie is used to propogate the
+ session id must also be unset. If a cookie is used to propagate the
session id (default behavior), then the session cookie must be deleted.
<function>setcookie</function> may be used for that.
</para>
