Put this in LocalSettings.php .
If:
You already have a bot group on your wiki:
// Flag - same rights as a standard bot
$wgGroupPermissions['flag'] = $wgGroupPermissions['bot'];
You have no bot group/want to have different permissions:
// Flag - just botright
$wgGroupPermissions['flag']['bot'] = true;
- Return to the user group list.