{
return false;
}
}
// End class MarkdownExtraParser
// Running MediaWiki?
if (defined('MEDIAWIKI')) {
// Define our parser to use our override
@define('MARKDOWN_PARSER_CLASS', 'MarkdownExtraOverride');
// Require the Markdown library
require_once __DIR__ . DIRECTORY_SEPARATOR . 'markdown.php';
// Instanciate
$markdownExtraParser = new MarkdownExtraParser();
// If we have set options, let's pass them in
if (isset($MarkdownExtraParserOptions)) {
$markdownExtraParser->setConfig($MarkdownExtraParserOptions);
}
// Register our MediaWiki parser hooks
$wgHooks['ParserBeforeStrip'][] = array($markdownExtraParser, 'parseAsMarkdown');
if ($markdownExtraParser->getConfig('use_raw_html')) {
$wgHooks['InternalParseBeforeSanitize'][] = array($markdownExtraParser, 'saveContent');
$wgHooks['InternalParseBeforeLinks'][] = array($markdownExtraParser, 'retrieveContent');
}
}
// End MediaWiki env
/**
* MarkdownExtraOverride
*
* Used to extend and override some method declarations,
* so we don't have to edit the Markdown library's source
*
