From 1c013a2c91982f8f4c4001008dc35422f334a0e9 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 27 Aug 2003 14:33:12 +0000
Subject: [PATCH] removed useless (possibly dangerous) line

---
 includes/SpecialUserlogout.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
index 808de18770..094335177b 100644
--- a/includes/SpecialUserlogout.php
+++ b/includes/SpecialUserlogout.php
@@ -5,7 +5,6 @@ function wfSpecialUserlogout()
 	global $wgUser, $wgOut, $returnto;
 
 	$wgUser->logout();
-	$wgOut->mCookies = array();
 	$wgOut->setRobotpolicy( "noindex,nofollow" );
 	$wgOut->addHTML( wfMsg( "logouttext" ) . "\n<p>" );
 	$wgOut->returnToMain();
-- 
2.20.1