As Tim Joh found it is quite easy to change MediaWiki’s behavior. Just edit the file LocalSettings.php in the root directory and add the following line at the bottom (or anywhere else):
$wgGroupPermissions['*']['edit'] = false;
This will remove the edit-permissions from users who have not yet logged in.