2 commits

Author	SHA1	Message	Date
Gergő Tisza	fa186b2e64	Handle session reset errors in invalidateSessionsForUser.php ... Also, do not skip session reset if the user does not exist locally. Change-Id: I5a55e4a6f2d296576ee76e212ed379225251e128	2016-06-18 11:01:20 +00:00
Gergő Tisza	c2fb1b900b	Add invalidateUserSessions.php maintenance script ... Similar to resetUserTokens.php but uses AuthManager and takes a list of users (a script for invalidating all users would be mostly pointless with $wgAuthenticationTokenVersion). resetUserTokens.php is deprecated, but kept around - mainly in case we want to transform it into a fast token reset algorithm much like I6b6e75db2a. Change-Id: I81450c44a7af26393db7fc61fd5c05f13a13ac3f	2016-06-16 12:57:18 +00:00