3 * Invalidate the sessions of certain users on the wiki.
4 * If you want to invalidate all sessions, use $wgAuthenticationTokenVersion instead.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License along
17 * with this program; if not, write to the Free Software Foundation, Inc.,
18 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
19 * http://www.gnu.org/copyleft/gpl.html
22 * @ingroup Maintenance
25 use MediaWiki\Maintenance\Maintenance
;
26 use MediaWiki\Session\SessionManager
;
27 use MediaWiki\User\User
;
29 // @codeCoverageIgnoreStart
30 require_once __DIR__
. '/Maintenance.php';
31 // @codeCoverageIgnoreEnd
34 * Invalidate the sessions of certain users on the wiki.
35 * If you want to invalidate all sessions, use $wgAuthenticationTokenVersion instead.
37 * @ingroup Maintenance
39 class InvalidateUserSessions
extends Maintenance
{
40 public function __construct() {
41 parent
::__construct();
42 $this->addDescription(
43 'Invalidate the sessions of certain users on the wiki.'
45 $this->addOption( 'user', 'Username', false, true, 'u' );
46 $this->addOption( 'file', 'File with one username per line', false, true, 'f' );
47 $this->setBatchSize( 1000 );
50 public function execute() {
51 $username = $this->getOption( 'user' );
52 $file = $this->getOption( 'file' );
54 if ( $username === null && $file === null ) {
55 $this->fatalError( 'Either --user or --file is required' );
56 } elseif ( $username !== null && $file !== null ) {
57 $this->fatalError( 'Cannot use both --user and --file' );
60 if ( $username !== null ) {
61 $usernames = [ $username ];
63 $usernames = is_readable( $file ) ?
64 file( $file, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES
) : false;
65 if ( $usernames === false ) {
66 $this->fatalError( "Could not open $file", 2 );
71 $sessionManager = SessionManager
::singleton();
72 foreach ( $usernames as $username ) {
74 $user = User
::newFromName( $username );
76 $sessionManager->invalidateSessionsForUser( $user );
77 if ( $user->isRegistered() ) {
78 $this->output( "Invalidated sessions for user $username\n" );
80 # session invalidation might still work if there is a central identity provider
81 $this->output( "Could not find user $username, tried to invalidate anyway\n" );
83 } catch ( Exception
$e ) {
84 $this->output( "Failed to invalidate sessions for user $username | "
85 . str_replace( [ "\r", "\n" ], ' ', $e->getMessage() ) . "\n" );
88 if ( $i %
$this->getBatchSize() ) {
89 $this->waitForReplication();
95 // @codeCoverageIgnoreStart
96 $maintClass = InvalidateUserSessions
::class;
97 require_once RUN_MAINTENANCE_IF_MAIN
;
98 // @codeCoverageIgnoreEnd