$wgDiscordNoBots