scribunto.pp
ActivePublic
Actions

Authored by • Gilles on Oct 13 2014, 8:28 PM.

Project Tags

None

Referenced Files

	F260: scribunto.pp
	Oct 13 2014, 8:28 PM

Subscribers

None

	# == Class: role::scribunto
	# Configures Scribunto, an extension for embedding scripting languages
	# in MediaWiki.
	class role::scribunto {
	include ::role::codeeditor
	include ::role::geshi

	require_package('php-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['php-luasandbox'],
	Package['hhvm-luasandbox'],
	],
	}
	}

Event Timeline

• Gilles changed the title of this paste from untitled to scribunto.pp.

• Gilles updated the paste's language from autodetect to autodetect.

• Gilles updated the paste's language from autodetect to puppet.

• emailbot mentioned this in Unknown Object (Task).Jan 4 2016, 6:48 PM