Puppet Class: role::wikieditor

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

Overview

Class: role::wikieditor

Configures WikiEditor, an extension which enable an extendable editing toolbar and interface



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

class role::wikieditor {
    mediawiki::extension { 'WikiEditor':
        settings => [
            '$wgDefaultUserOptions["usebetatoolbar"] = 1',
            '$wgDefaultUserOptions["usebetatoolbar-cgd"] = 1',
        ],
    }
}