Topic on Project:Support desk

If you want to remove the "bot" user group from your wiki, set unset( $wgGroupPermissions['bot'] ); in your LocalSettings.php. If yoi want to remove the "bot" user group that created by a extension, set

$wgExtensionFunctions[] = function () {
  global $wgGroupPermissions;
  unset( $wgGroupPermissions['bot'] );
};

Hello, I would like to completely remove the "bots" user group from my wiki.

I tried setting all bot rights to false using $wgGroupPermissions, but the "bots" group still appears on special pages such as Special:ListGroupRights, Special:UserRights, etc.

There are no users with bot privileges on my wiki. Is it possible to completely remove this user group, also from special pages?

Just add unset( $wgGroupPermissions['bot'] ); to your LocalSettings.php.

Thanks, it works!

However, the ConfirmEdit extension made it quite problematic to completely disable bot group. To completely remove the bot group from my wiki, I had to remove some code related to bot rights from $IP\extensions\ConfirmEdit\extension.json; Otherwise, the bot group cannot be completely disabled.

You can still remove it without modifying the extension by doing

$wgExtensionFunctions[] = function () {
  global $wgGroupPermissions;
  unset( $wgGroupPermissions['bot'] );
};

Thanks!