From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php') diff --git a/extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php b/extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php index 778637e2..17f8394b 100644 --- a/extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php +++ b/extensions/SyntaxHighlight_GeSHi/geshi/geshi/haxe.php @@ -6,7 +6,7 @@ * John Liao (colorhook@gmail.com) * Copyright: (c) 2012 onthewings (http://www.onthewings.net/) * 2010 colorhook (http://colorhook.com/) - * Release Version: 1.0.8.11 + * Release Version: 1.0.8.12 * Date Started: 2010/10/05 * * Haxe language file for GeSHi. @@ -111,7 +111,6 @@ $language_data = array ( 1 => 'color: #666666; font-style: italic;', 2 => 'color: #006699;', 3 => 'color: #008000; font-style: italic; font-weight: bold;', - 3 => 'color: #008000; font-style: italic; font-weight: bold;', 'MULTI' => 'color: #666666; font-style: italic;', ), 'ESCAPE_CHAR' => array( @@ -157,5 +156,3 @@ $language_data = array ( 'HIGHLIGHT_STRICT_BLOCK' => array( ), ); - -?> \ No newline at end of file -- cgit v1.2.2