From 84ab744191c6bdde7b7fb04166958428825eb45e Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Sun, 28 Dec 2008 11:50:33 +0000
Subject: [PATCH] (bug 16721) Reset auth token to stop auto-login. Auto-login
 defeats the user rename/touch change to break the login since the user can
 just get logged in again under the old name without noticing, which results
 in edits under the old name.

---
 includes/AuthPlugin.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/AuthPlugin.php b/includes/AuthPlugin.php
index 7c9b339764..b29e13f279 100644
--- a/includes/AuthPlugin.php
+++ b/includes/AuthPlugin.php
@@ -258,4 +258,9 @@ class AuthPluginUser {
 		# Override this!
 		return false;
 	}
+	
+	public function resetAuthToken() {
+		# Override this!
+		return true;
+	}
 }
-- 
2.20.1