Skip to content
Snippets Groups Projects
Commit b2318175 authored by Dario Giovannetti's avatar Dario Giovannetti
Browse files

archwiki: Add some user roles

parent 4aa7d9b9
No related branches found
No related tags found
1 merge request!516archwiki: merge LocalSettings.archlinux.org.php from the archwiki git repo into LocalSettings.php.j2
......@@ -218,6 +218,10 @@ $wgFooterIcons = ['copyright' => ['copyright' => '']];
##
$wgGroupPermissions[] = 'maintainer';
$wgGroupPermissions[] = 'translator';
$wgGroupPermissions[] = 'archdev';
$wgGroupPermissions[] = 'archtu';
$wgGroupPermissions[] = 'archstaff';
##
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment