wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 10:39:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added a class to the wrapper to allow site CSS to re-add the dashed borders on wikis that want them.

Browse source
This commit is contained in:
Tim Starling 2009-06-24 05:39:23 +00:00
parent ae726406e2
commit b424069389
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
SyntaxHighlight_GeSHi.class.php
View file

@ -86,9 +86,9 @@ class SyntaxHighlight_GeSHi {
// Register CSS // Register CSS
$parser->mOutput->addHeadItem( self::buildHeadItem( $geshi ), "source-{$lang}" ); $parser->mOutput->addHeadItem( self::buildHeadItem( $geshi ), "source-{$lang}" );
if ( $enclose === GESHI_HEADER_NONE ) { if ( $enclose === GESHI_HEADER_NONE ) {
$out = '<span class="'.$lang.' source-'.$lang.'"> '.$out . '</span>'; $out = '<span class="mw-geshi '.$lang.' source-'.$lang.'"> '.$out . '</span>';
} else { } else {
$out = '<div dir="ltr" style="text-align: left;">' . $out . '</div>'; $out = '<div dir="ltr" class="mw-geshi" style="text-align: left;">' . $out . '</div>';
} }
wfProfileOut( __METHOD__ ); wfProfileOut( __METHOD__ );
return $out; return $out;