On Thu, Dec 17, 2015 at 3:21 PM, Andres Freund <andres@anarazel.de> wrote:
> On 2015-12-17 16:01:52 +0100, Magnus Hagander wrote:
>> I've shut the wiki down for the moment, pending that somebody who actually
>> knows anything about mediawiki shows up..
>
> I've not dealt with this in years, so I might be completely out of date
> here. But I think adding something like
> $wgGroupPermissions['*']['edit'] = false;
> in the config ought to do the trick.
>
> Then we can add a 'approved users' group, and give those edit
> permissions. Not perfect, but ought to do as a first step.
Thanks - I've done something along those lines, and we've added the
active users from the last 30 days to a new editor group. If anyone
else wants to be added, they'll need to send email to request it for
the time being.
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company