Hallo, Benjamin,
Du meintest am 06.12.10:
If they've never edited (including deleted edits), then it should be safe to delete them from the database, but you would have to do it manually as far as I know.
http://www.mediawiki.org/wiki/Extension:User_Merge_and_Delete should do it.
I've just installed it on my Wiki
MediaWiki 1.15.3 PHP 5.2.14 (cgi-fcgi) MySQL 4.1.22-log
but deleting doesn't work (merging may work, I don't need it).
And I can't see an array like in
http://s23.org/wikistats/mediawiki_extensions.php?name=Extension:User_Merge_and_Delete
I only see a mask where I can fill in old and new name for merging. I haven't defined any array (esp. no "ProtectedGroup" or "Unmergeable").
What goes wrong?
Viele Gruesse! Helmut