From 8ceee070ad5bc0e94efcba30844f0d31b9a86680 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Thu, 23 Sep 2004 15:43:25 +0000
Subject: [PATCH] More consistent method for immediate logout, means that the
 IP rather than the username is displayed at the top of the logout
 confirmation page.

---
 includes/User.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/User.php b/includes/User.php
index e9eeca7148..d2e76546ee 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -679,7 +679,8 @@ class User {
 	 */
 	function logout() {
 		global $wgCookiePath, $wgCookieDomain, $wgDBname;
-		$this->mId = 0;
+		$this->loadDefaults();
+		$this->setLoaded( true );
 
 		$_SESSION['wsUserID'] = 0;
 
-- 
2.20.1