Puppet Class: role::dumpsondemand

Defined in:
puppet/modules/role/manifests/dumpsondemand.pp

Overview

Class: role::dumpsondemand

The DumpsOnDemand extension allows users to request and download dumps on a special page on the wiki.



4
5
6
7
8
9
10
11
12
 
# File 'puppet/modules/role/manifests/dumpsondemand.pp', line 4

class role::dumpsondemand {
    mediawiki::extension { 'DumpsOnDemand':
        settings => [
            '$wgGroupPermissions["bureaucrat"]["dumpsondemand-limit-exempt"] = true;',
            '$wgGroupPermissions["user"]["dumpsondemand"] = true;',
            '$wgGroupPermissions["user"]["dumprequestlog"] = true;'
        ]
    }
}