Anomie has uploaded a new change for review.
https://gerrit.wikimedia.org/r/288093
Change subject: Call SessionManager::invalidateSessionsForUser() when available
......................................................................
Call SessionManager::invalidateSessionsForUser() when available
Change-Id: I5ba0d0d02cccdc8aa4b6297be4457542f0a91e73
---
M RenameuserSQL.php
1 file changed, 11 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Renameuser
refs/changes/93/288093/1
diff --git a/RenameuserSQL.php b/RenameuserSQL.php
index 1df81b8..d34b2c4 100755
--- a/RenameuserSQL.php
+++ b/RenameuserSQL.php
@@ -1,5 +1,7 @@
<?php
+use MediaWiki\Session\SessionManager;
+
/**
* Class which performs the actual renaming of users
*/
@@ -189,8 +191,15 @@
// Reset token to break login with central auth systems.
// Again, avoids user being logged in with old name.
$user = User::newFromId( $this->uid );
- $authUser = $wgAuth->getUserInstance( $user );
- $authUser->resetAuthToken();
+
+ if ( class_exists( SessionManager::class ) &&
+ is_callable( [ SessionManager::singleton(),
'invalidateSessionsForUser' ] )
+ ) {
+ SessionManager::singleton()->invalidateSessionsForUser(
$user );
+ } else {
+ $authUser = $wgAuth->getUserInstance( $user );
+ $authUser->resetAuthToken();
+ }
// Purge user cache
$user->invalidateCache();
--
To view, visit https://gerrit.wikimedia.org/r/288093
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I5ba0d0d02cccdc8aa4b6297be4457542f0a91e73
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Renameuser
Gerrit-Branch: master
Gerrit-Owner: Anomie <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
