More consistent method for immediate logout, means that the IP rather than the userna...

diff --git a/includes/User.php b/includes/User.php
index e9eeca7..d2e7654 100644 (file)
--- 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;