Like Schnee said, you'll have to mess with the database It's easy if the user has not made any edits. If they have, then it get very tricky and you have to know what you're doing. And that's beyond the ethical/legal aspects that Schnee brought up.
You may want to consider using the RenameUser extension to rename the user to something unusable such as "DELETEDUSER_{username}", add the user to a new user group and prevent that user group from editing, viewing, etc. effectively disabling the account and releasing the username for use by a new user.
Kimon
On 12/9/07, Schneelocke schneelocke@gmail.com wrote:
2007/12/9, zelulax zelulax@gmail.com:
how can I delete a registered user? I tried using Special:Listusers but
I
can't see any option available. Do I have to delete the user over MySQL?
I
have only access to PhpMyAdmin. How do I do that?
AFAIK, it's not possible to delete users without directly meddling with the database, and it's discouraged, too - MediaWiki isn't built to handle that.
In a public wiki, it may also raise questions of attribution for contributions a user made, if any, although that'd probably also depend on the license the wiki's using and the jurisdiction it's covered by (those that recognise moral rights may require attribution even when the license doesn't do so).
I think there's been discussions about this before, though, so looking through the mailing list archives should hopefully turn up more.
-- schnee
MediaWiki-l mailing list MediaWiki-l@lists.wikimedia.org http://lists.wikimedia.org/mailman/listinfo/mediawiki-l