| MediaWiki version: | ≥ 1.31 |
| MediaWiki file: purgeExpiredUserrights.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.40.0 • 1.39.4 • 1.35.11 |
| Classes: | PurgeExpiredUserrights |
Details
purgeExpiredUserrights.php is a {{ll|Manual:Maintenance scripts|maintenance script}} to remove user right assignments which have expired (ug_expiry is before current time) from the user_groups table and add them to the user_former_groups table.
Options/Arguments
This script does not take any options/arguments.
Usage
php maintenance/purgeExpiredUserrights.php
Terminal
$ php maintenance/purgeExpiredUserrights.php Purging expired user rights... 9 rows purged.
See also
- Manual:EmptyUserGroup.php
- Manual:MigrateUserGroup.php
- Manual:InitUserPreference.php
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.