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

(bug 11351) Normalise language names to lowercase for consistent class names, etc.

Browse source
This commit is contained in:
Rob Church 2007-09-15 16:09:30 +00:00
parent 7c8c99db13
commit 7f976ff398
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

@ -25,11 +25,11 @@ class SyntaxHighlight_GeSHi {
$text = trim( $text ); $text = trim( $text );
// Validate language // Validate language
if( isset( $args['lang'] ) ) { if( isset( $args['lang'] ) ) {
$lang = $args['lang']; $lang = strtolower( $args['lang'] );
} else { } else {
return self::formatError( htmlspecialchars( wfMsgForContent( 'syntaxhighlight-err-language' ) ) ); return self::formatError( htmlspecialchars( wfMsgForContent( 'syntaxhighlight-err-language' ) ) );
} }
if( !preg_match( '/^[A-Za-z_0-9-]*$/', $lang ) ) if( !preg_match( '/^[a-z_0-9-]*$/', $lang ) )
return self::formatError( htmlspecialchars( wfMsgForContent( 'syntaxhighlight-err-language' ) ) ); return self::formatError( htmlspecialchars( wfMsgForContent( 'syntaxhighlight-err-language' ) ) );
$geshi = self::prepare( $text, $lang ); $geshi = self::prepare( $text, $lang );
if( !$geshi instanceof GeSHi ) if( !$geshi instanceof GeSHi )