Infrastructure/ansible
1
0
Fork 0
Code Issues Pull requests 6 Projects Releases Packages Wiki Activity Actions

Add protectors group to allow people to manage protected pages on MediaWiki

Browse source
This commit is contained in:
Nick Bebout 2017-07-31 16:26:13 +00:00
parent 5576a642f6
commit ac159f984a
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
roles/mediawiki/templates/LocalSettings.php.fp.j2
View file

@ -100,6 +100,9 @@ $wgGroupPermissions['pruners']['bigdelete'] = true;
$wgGroupPermissions['pruners']['deletedhistory'] = true;
$wgGroupPermissions['pruners']['undelete'] = true;
# Create a protectors group for people who need to protect/unprotect pages
$wgGroupPermissions['protectors']['protect'] = true;
## The URL base path to the directory containing the wiki;
## defaults for all runtime URL paths are based off of this.
#$wgScriptPath = "/wiki";