I would recommend against deleting users since that would screw up the logs and the page histories.
Perhaps you can rename the user_name to something that would denote that the user is no longer with the company. I would also reset the password and the email address.
Kimon
mediawiki-l-bounces@lists.wikimedia.org wrote on 31-07-2007 09:29:48:
My v1.9.3 wiki has several obsolete users who have left the company. What is the best way to delete them from the wiki ?
tanx, Lori
MediaWiki-l mailing list MediaWiki-l@lists.wikimedia.org http://lists.wikimedia.org/mailman/listinfo/mediawiki-l