Hi Sophivorus,
Thank you so much for the last improvement, it works great! Your extension is extremely useful for my wiki.
I'm looking to be able to distinguish, in a category, the possibility to view pages, and the possibility to edit them.
For instance, I'd like to be able to write something that says that, in the Maintenance category, the groups 'sysop' and 'developer' are able to view and edit pages; but the 'technician' group is only able to view them.
I don't know the proper syntax at all, but something like:
$wgCategoryLockdown = [
'Maintenance' => [ view : 'sysop', 'developer', 'technician' ],
[ edit : 'sysop', 'developer' ]
];
I'm no dev at all, do you reckon it's something you could add to your extension?
If you could, that would be awesome.
Thanks!