only the maintainer who has root rights on that host can install mediawiki extensions. So, Rob has to install it. But anyway, one or two more admins would make sense. Imho only joska is the only one who is deleting spam page and their user.
There are only three admins right now. Vincent, Rob and me. I'm not sure if we need any more. It's better to avoid spam in the first place.
On the other hand, the mediawiki at sparemint is a bit outdatet, i'm not sure if there is an extension ( anymore ) which is working with it
True, the mediawiki install should probably be updated anyway. Jo Even