From 7f3a808e21404eb4d8733d4fff9db0fd31e0aaf1 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Mon, 25 Aug 2003 13:25:39 +0000
Subject: [PATCH] bug fix to main branch

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

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
index 094335177b..808de18770 100644
--- a/includes/SpecialUserlogout.php
+++ b/includes/SpecialUserlogout.php
@@ -5,6 +5,7 @@ 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