Puppet Class: role::scribunto

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

Overview

Class: role::scribunto

Configures Scribunto, an extension for embedding scripting languages in MediaWiki.



4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
# File 'puppet/modules/role/manifests/scribunto.pp', line 4

class role::scribunto {
    include ::role::codeeditor
    include ::role::syntaxhighlight

    require_package('php7.4-luasandbox')

    mediawiki::extension { 'Scribunto':
        settings => [
            '$wgScribuntoEngineConf["luasandbox"]["profilerPeriod"] = false',
            '$wgScribuntoDefaultEngine = "luasandbox"',
            '$wgScribuntoUseGeSHi      = true',
            '$wgScribuntoUseCodeEditor = true',
        ],
        notify   => Service['apache2'],
        require  => [
            Mediawiki::Extension['CodeEditor'],
            Mediawiki::Extension['SyntaxHighlight_GeSHi'],
            Package['php7.4-luasandbox'],
        ],
    }
}