$wgOresExcludeBots