Manual:purgeExpiredUserrights.php

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
English • ‎español • ‎polski • ‎русский • ‎日本語

Details[edit]

purgeExpiredUserrights.php is a 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.

External links[edit]