Puppet Class: role::mathsearch

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

Overview

Class: role::mathsearch

The MathSearch extension integrates the MathWeb Search, a content-based search engine for mathematical formulae. It indexes MathML formulae, using a technique derived from automated theorem proving: term indexing.



7
8
9
10
11
12
13
14
15
16
17
18
 
# File 'puppet/modules/role/manifests/mathsearch.pp', line 7

class role::mathsearch {
    include ::role::syntaxhighlight
    include ::role::math

    mediawiki::extension { 'MathSearch':
        require      => Mediawiki::Extension['Math'],
        needs_update => true,
        settings     => [
            '$wgMathValidModes[] = "latexml"',
        ],
    }
}