On Tue, Feb 10, 2009 at 2:31 PM, Charlotte Webb
<charlottethewebb(a)gmail.com> wrote:
On Mon, Feb 9, 2009 at 7:06 PM, George Herbert
<george.herbert(a)gmail.com> wrote:
The main mediawiki server and DB do the right
thing with @ symbols, but the
user rights tools can't. There's a user on english wikipedia with one of
those, it's a known issue.
Sorry, are you saying it's not possible to desysop User:@pple@enwiki
using the stewards' tool?
That's not the case. User rights can changed by user ID as well as by
user name. So, you'd just enter #3685614@enwiki instead. You can find
a user ID by exporting a page they've written -