Add invalidateUserSessions.php maintenance script
authorGergő Tisza <gtisza@wikimedia.org>
Wed, 15 Jun 2016 18:01:31 +0000 (18:01 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Thu, 16 Jun 2016 12:57:18 +0000 (12:57 +0000)
commitc2fb1b900b5b7619dadbf92b9fb592c717c7b4a7
tree79c6cc2effd57c469a71e1507723a8b93ad7aee7
parentb9255066fd244c309056024c25ef77be44145a8b
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
maintenance/invalidateUserSessions.php [new file with mode: 0644]
maintenance/resetUserTokens.php