Change Details

`emptyUserGroup.php` is a MediaWiki maintenance script used to remove all users from a given user group; specially if there are lots of members. Currently the usage of this script leaves no on-wiki traces, which might cause some transparency problems in some cases. I propose that an option be added to the script so the user rights changes performed by this script be logged on the wiki's Special:Log/rights log. I guess we'll also need to attribute which on-wiki user made the change or attribute it to the generic 'Maintenance script' pseudoaccount. An option should be added for this as well.

`emptyUserGroup.php` is a MediaWiki maintenance script used to remove all users from a given user group; specially if there are lots of members. Currently the usage of this script leaves no on-wiki traces, which might cause some transparency problems in some cases. I propose that an option be added to the script so the user rights changes performed by this script be logged on the wiki's Special:Log/rights log. I guess we'll also need to attribute which on-wiki user made the change or attribute it to the generic 'Maintenance script' pseudoaccount. An option should be added for this as well. If logging to the wiki, we should maybe make the script activity hidden from RecentChanges to avoid flooding the wikis.

`emptyUserGroup.php` is a MediaWiki maintenance script used to remove all users from a given user group; specially if there are lots of members. Currently the usage of this script leaves no on-wiki traces, which might cause some transparency problems in some cases. I propose that an option be added to the script so the user rights changes performed by this script be logged on the wiki's Special:Log/rights log. I guess we'll also need to attribute which on-wiki user made the change or attribute it to the generic 'Maintenance script' pseudoaccount. An option should be added for this as well. If logging to the wiki, we should maybe make the script activity hidden from RecentChanges to avoid flooding the wikis.