recently an user use an offensive username to post offensive aritcals in Chinese Wikipedia, we hold a vote to force him to change his username, and we gain a consensus of that, but the porblem is that how can we change his name, our administrators have no privilege to use SQL to do that. Who can give us help?