< Snippets‎ | PUG‎ | Groups
Jump to navigation Jump to search

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.