From 1178d97c0847e5f01fb93ac176ee1941b9de7888 Mon Sep 17 00:00:00 2001
From: Martin Samesch <samesch@php.net>
Date: Sat, 5 Dec 2009 13:54:50 +0000
Subject: [PATCH] replaced tabs with spaces

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

diff --git a/reference/session/functions/session-destroy.xml b/reference/session/functions/session-destroy.xml
index 5d403824d7..ed69087d62 100644
--- a/reference/session/functions/session-destroy.xml
+++ b/reference/session/functions/session-destroy.xml
@@ -52,11 +52,11 @@ $_SESSION = array();
 // If it's desired to kill the session, also delete the session cookie.
 // Note: This will destroy the session, and not just the session data!
 if (ini_get("session.use_cookies")) {
-	$params = session_get_cookie_params();
-	setcookie(session_name(), '', time() - 42000,
-		$params["path"], $params["domain"],
-		$params["secure"], $params["httponly"]
-	);
+    $params = session_get_cookie_params();
+    setcookie(session_name(), '', time() - 42000,
+        $params["path"], $params["domain"],
+        $params["secure"], $params["httponly"]
+    );
 }
 
 // Finally, destroy the session.