estensioni di mediawiki

require_once "$IP/extensions/Scribunto/Scribunto.php";
$wgScribuntoDefaultEngine = 'luastandalone';


require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
$wgDefaultUserOptions['usebetatoolbar'] = 1;
$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;


wfLoadExtension( 'SyntaxHighlight_GeSHi' );
wfLoadExtension( 'CodeEditor' );

$wgScribuntoUseGeSHi = true;
$wgScribuntoUseCodeEditor = true;

require_once( "$IP/extensions/ParserFunctions/ParserFunctions.php");