From b2ae8a983df9a360e63f4283bc43fa06da54469c Mon Sep 17 00:00:00 2001
From: Drak <drak@php.net>
Date: Wed, 29 Feb 2012 06:09:12 +0000
Subject: [PATCH] [session] Added more formatting.

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

diff --git a/reference/session/examples.xml b/reference/session/examples.xml
index 3536f43d81..d808f142cf 100644
--- a/reference/session/examples.xml
+++ b/reference/session/examples.xml
@@ -248,8 +248,9 @@ here</a>.
   <para>
    The callbacks specified in <function>session_set_save_handler</function> are methods
    called by PHP during the life-cycle of a session: <parameter>open</parameter>, <parameter>read</parameter>,
-   <parameter>write</parameter> and <parameter>close</parameter> and for the housekeeping tasks of deleting
-   stored sessions and periodic garbage collection.
+   <parameter>write</parameter> and <parameter>close</parameter> and for the housekeeping tasks:
+   <parameter>destroy</parameter> for deleting a session and <parameter>gc</parameter> for periodic garbage
+   collection.
   </para>
   <para>
    Therefor, PHP always requires session save handlers. The default is usually the