[Mediawiki-l] How to Edit User's Profiles

[Sean McAfee]

Ross Xu wrote:
> Hi there,
> Some user's accounts don't have their real names. Instead, they just have usernames.
> I'd like to edit those user's accounts to put their real names, but I couldn't find a way to do it.
> Is there a way to do it, or do I have to install an extenstion and which?
> Thanks,
> Ross Xu

I use (and like) http://www.mediawiki.org/wiki/Extension:EditUser, but 
it stopped being maintained and may not work on > 1.15.

I'd be interested in hearing about any alternatives out there.

-- 
Sean McAfee
Senior Systems Engineer