No disagreement Platonides but you can still work with $wgGroupPermissions to get the desired result. Or better yet, rename the account and block indefinitely.
But, if there already is an extension to deal with it, even better.
On 12/9/07, Platonides Platonides@gmail.com wrote:
Kimon Andreou wrote:
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
You can't prevent a group from doing things. Permissions are additive, so you *allow* them to do things. There's an extension on mediawiki to delete users by merging them with a deleted_users account.
MediaWiki-l mailing list MediaWiki-l@lists.wikimedia.org http://lists.wikimedia.org/mailman/listinfo/mediawiki-l