On Tue, Feb 10, 2009 at 2:31 PM, Charlotte Webb <[email protected]> wrote: > On Mon, Feb 9, 2009 at 7:06 PM, George Herbert <[email protected]> > 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:@p...@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 #3685...@enwiki instead. You can find a user ID by exporting a page they've written - http://en.wikipedia.org/wiki/Special:Export/User:@pple Angela _______________________________________________ MediaWiki-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
