I'm looking for a way to restrict anonymous editing.
I believe this can be done in a PHP script, which I don't have access to.
Can you change the permissions for isd.mirahezu.org to match:
$wgGroupPermissions['*']['edit'] = false;
I found information regarding to this on: https://www.mediawiki.org/wiki/Manual:Preventing_access#Restrict_anonymous_editing