On Tue, Feb 10, 2009 at 2:31 PM, Charlotte Webb charlottethewebb@gmail.com wrote:
On Mon, Feb 9, 2009 at 7:06 PM, George Herbert george.herbert@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 - http://en.wikipedia.org/wiki/Special:Export/User:@pple
Angela