[Mediawiki-l] changing user name

[Paul Sanderson]

For various reasons my wiki is closed. A large number of the users had
a user name chosen for them by virtue of membership of another site.
Some of these uses want to change their user name.

Is there a special page that will allow a logged in user to change
their user name?