On Sat, Mar 14, 2009 at 8:17 AM, Michael Rosenthal rosenthal3000@googlemail.com wrote:
Isn't there a workaround to change the userrights without hacking MediaWiki? I think I read about a method in which the @ is replaced by something on bugzilla but unfortunatly I can't find it again.
Using a "#<USERIDNUMBER>" in the username field iirc.