diff options
Diffstat (limited to 'maintenance/invalidateUserSessions.php')
| -rw-r--r-- | maintenance/invalidateUserSessions.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/invalidateUserSessions.php b/maintenance/invalidateUserSessions.php index 543cbad16982..0c9899e51043 100644 --- a/maintenance/invalidateUserSessions.php +++ b/maintenance/invalidateUserSessions.php @@ -25,7 +25,9 @@ use MediaWiki\Session\SessionManager; use MediaWiki\User\User; +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd /** * Invalidate the sessions of certain users on the wiki. @@ -89,5 +91,7 @@ class InvalidateUserSessions extends Maintenance { } } +// @codeCoverageIgnoreStart $maintClass = InvalidateUserSessions::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |