Manual:invalidateUserSessions.php
MediaWiki file: invalidateUserSessions.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes: | InvalidateUserSesssions |
Details
editinvalidateUserSessions.php maintenance script invalidates the sessions of certain users on the wiki. After the session is invalidated, the users will be logged out from the browser/app.
If you want to invalidate all sessions, use $wgAuthenticationTokenVersion instead.
Options
editOption | Required | Default value | |
---|---|---|---|
--user | A username | Optional | |
--file | File with one username per line | Optional |
Although both options are optional, either --user or --file is required to run the script.
Usage
editphp maintenance/invalidateUserSessions.php [ --user | --file ]
Invalidating session for user Jay
editTerminal
$ php maintenance/invalidateUserSessions.php --user "Jay" Invalidated sessions for user Jay
Tip 1: Spaces inside a username must be replaced with underscores ( _ ) or use double quotation like "Foo Bar"
Invalidating list of users' session
edituserlist.txt
Foo
Bar
Jay
Aman
Kamal Kumar
FlyingWings123
LogicFreek
AK Saini
AyraIn326
MileFireFee
Terminal
$ php maintenance/invalidateUserSessions.php --file userlist.txt Invalidated sessions for user Foo Invalidated sessions for user Bar Invalidated sessions for user Jay Invalidated sessions for user Aman Invalidated sessions for Kamal Kumar Could not find user FlyingWings123, tried to invalidate anyway Invalidated sessions for user LogicFreek Could not find user AK Saini, tried to invalidate anyway Invalidated sessions for user AyraIn326 Invalidated sessions for user MileFireFee
Common errors
edit- Cannot use both --user and --file
This error occurs when you try to use both options at once. You always have to use either --user or --file.
- Could not open $filename
This error occurs when the file does not exist or the user running the script does not have permission to read the file.
If the file does exist, check the file permissions. If you are root user, then you can run script with sudo.