Skip to content

Instantly share code, notes, and snippets.

@exedre
Created September 29, 2016 13:26
Show Gist options
  • Save exedre/322e0f461cfff26947472510ab23e79c to your computer and use it in GitHub Desktop.
Save exedre/322e0f461cfff26947472510ab23e79c to your computer and use it in GitHub Desktop.
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");
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment