From 2a03f5d866099f399eeffbbb84312083960e2eb2 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Wed, 21 Nov 2007 17:25:57 +0000
Subject: [PATCH] Mention php_binary serializer (bug #42405)

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@246639 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/session/ini.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/reference/session/ini.xml b/reference/session/ini.xml
index fd7c1a72b5..3baba3cca6 100644
--- a/reference/session/ini.xml
+++ b/reference/session/ini.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.53 $ -->
+<!-- $Revision: 1.54 $ -->
 <section xml:id="session.configuration" xmlns="http://docbook.org/ns/docbook">
  &reftitle.runtime;
  &extension.runtime;
@@ -287,8 +287,8 @@
     <simpara>
      <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 are supported (name
+     data. Currently, a PHP internal format (name <literal>php</literal> or
+     <literal>php_binary</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>.