On Sat, Mar 14, 2009 at 8:17 AM, Michael Rosenthal
<rosenthal3000(a)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.