jsgoupil Sun Dec 18 17:17:12 2005 EDT
Modified files:
/phpdoc/en/reference/session ini.xml
Log:
fix is => are
http://cvs.php.net/viewcvs.cgi/phpdoc/en/reference/session/ini.xml?r1=1.37&r2=1.38&diff_format=u
Index: phpdoc/en/reference/session/ini.xml
diff -u phpdoc/en/reference/session/ini.xml:1.37
phpdoc/en/reference/session/ini.xml:1.38
--- phpdoc/en/reference/session/ini.xml:1.37 Sun Dec 18 14:03:20 2005
+++ phpdoc/en/reference/session/ini.xml Sun Dec 18 17:17:12 2005
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.37 $ -->
+<!-- $Revision: 1.38 $ -->
<section id="session.configuration">
&reftitle.runtime;
&extension.runtime;
@@ -290,7 +290,7 @@
<literal>session.serialize_handler</literal> defines the name
of the handler which is used to serialize/deserialize
data. Currently, a PHP internal format (name
- <literal>php</literal>) and WDDX is supported (name
+ <literal>php</literal>) and WDDX are supported (name
<literal>wddx</literal>). WDDX is only available, if PHP is
compiled with <link linkend="ref.wddx">WDDX
support</link>. Defaults to <literal>php</literal>.
