wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-16 02:55:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

[SyntaxHighlight GeSHi] Use <code> and <pre> instead of <span> and <div> to allow skins to universally style these without requiring local wikis to manually maintain a copy of each skins's <pre> style and apply it to .mw-geshi

Browse source 
* Fixes
-- (bug 19416) GeSHi-generated blocks should use <pre> style for the container
This commit is contained in:
Krinkle 2012-03-06 22:35:40 +00:00
parent b81f422ffc
commit 5dfa1034c1
Notes: Krinkle 2012-03-06 22:35:40 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/113190
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SyntaxHighlight_GeSHi.class.php
View file

@ -108,7 +108,7 @@ class SyntaxHighlight_GeSHi {
$parser->getOutput()->addModuleStyles( 'ext.geshi.local' );
}
$encloseTag = $enclose === GESHI_HEADER_NONE ? 'span' : 'div';
$encloseTag = $enclose === GESHI_HEADER_NONE ? 'code' : 'pre';
$attribs = Sanitizer::validateTagAttributes( $args, $encloseTag );
//lang is valid in HTML context, but also used on GeSHi