<?php if (!defined('MEDIAWIKI')) exit(1); $wgExtensionFunctions[] = "wfSyntaxHighlighterExtension"; $wgExtensionCredits['other'][] = array( 'name' => 'SyntaxHighlighter', 'author' => array('Alex Gorbatchev'), 'version' => '1.0', 'url' => 'http://alexgorbatchev.com/projects/syntaxhighlighter', 'description' => 'Provides tight integration with SyntaxHighlighter.' ); // Path to the SyntaxHighlighter scripts $wgSyntaxHighlighterScriptPath = "{$wgScriptPath}/extensions/SyntaxHighlighter/scripts"; // Path to the SyntaxHighlighter styles $wgSyntaxHighlighterStylesPath = "{$wgScriptPath}/extensions/SyntaxHighlighter/styles";