bug fix to main branch

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
index 0943351..808de18 100644 (file)
--- 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();