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"',
],
}
}
|