https://bugzilla.wikimedia.org/show_bug.cgi?id=16545
Andrew Garrett <[EMAIL PROTECTED]> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |[EMAIL PROTECTED]
--- Comment #5 from Andrew Garrett <[EMAIL PROTECTED]> 2008-12-03 12:45:15 UTC
---
[[Special:ListUsers/bot]] lists users in the 'bot' group, not users who have
the 'bot' right.
Global bots are not in the 'bot' group, and accordingly are not listed on
[[Special:ListUsers/bot]]. They do have the 'bot' right, due to their
membership of the 'Global bot' global group.
It would perhaps be possible to have a combined display of all accounts which
would have a particular right on a wiki, but it would be particularly nasty for
performance, take time to code, and would have little discernible benefit to
our core mission.
Accordingly, I am suggesting that this bug be closed as WONTFIX, unless a
developer is willing to write a patch that produces acceptable performance.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
