]> git.openstreetmap.org Git - chef.git/blob - cookbooks/wiki/templates/default/mw-ext-Scribunto.inc.php.erb
Merge remote-tracking branch 'github/pull/193'
[chef.git] / cookbooks / wiki / templates / default / mw-ext-Scribunto.inc.php.erb
1 <?php
2 # DO NOT EDIT - This file is being maintained by Chef
3
4 wfLoadExtension('Scribunto');
5
6 // Use standalone mode
7 $wgScribuntoDefaultEngine = 'luastandalone';
8
9 // Increase cpu limit (default=7) per https://www.mediawiki.org/wiki/Topic:S9y4s52ue722seam
10 // Documented in https://www.mediawiki.org/wiki/Extension:Scribunto#LuaStandalone
11 // Max running time in seconds
12 $wgScribuntoEngineConf['luastandalone']['cpuLimit'] = 15;
13
14 // Set path to lua interpreter
15 $wgScribuntoEngineConf['luastandalone']['luaPath'] = '/usr/bin/lua';
16
17 // Enable syntax highlighting
18 $wgScribuntoUseGeSHi = true;
19
20 // Use code editor
21 $wgScribuntoUseCodeEditor = true;