Jump to content

User:Rical/LocalSettings.php

From mediawiki.org
/* 25/04/2012 22:07 install Extension:WikiScripts */
// http://www.mediawiki.org/wiki/Extension:WikiScripts
require_once("$IP/extensions/WikiScripts/WikiScripts.php");
/* 25/04/2012 02:45 install Extension:Scribunto */
// http://www.mediawiki.org/wiki/Extension:Scribunto
require( "$IP/extensions/Scribunto/Scribunto.php" );
$wgScribuntoDefaultEngine = 'luastandalone';
// Then in your LocalSettings.php after all the extension registrations, add:
$wgScribuntoUseGeSHi = true;
$wgScribuntoUseCodeEditor = true;