j
k
j a
j l
How to create new user group by editing localsettings.php?
$wgGroupPermissions['group_name']['permission_name']=true/false
I don't think you need to define the group name anywhere, you just have to assign the permissions.
Back to the thread
Back to the list