Jump to content

Snippets/PUG/Groups/Interface

From mediawiki.org

Put this in LocalSettings.php .

// Interface manager
$wgGroupPermissions['interface']['editinterface'] = true;
$wgGroupPermissions['interface']['editusercss']   = true; // 1.16+
$wgGroupPermissions['interface']['edituserjs']    = true; // 1.16+
$wgGroupPermissions['interface']['editusercssjs'] = true; // 1.12+, split into editusercss and edituserjs in 1.16 but up to 1.28 still works for backward compatibility. Removed in 1.29.
$wgGroupPermissions['interface']['siteadmin']     = true;
$wgGroupPermissions['interface']['interface']     = true;

$messages['en'] = array(
                  'group-interface'        => 'Interface editor',
                  'group-interface-member' => '{{MediaWiki:Group-interface}}',
                  'right-interface'        => 'Can edit the wiki interface',
);
Return to the user group list.