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/fsharp.php | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'extensions/SyntaxHighlight_GeSHi/geshi/geshi/fsharp.php') diff --git a/extensions/SyntaxHighlight_GeSHi/geshi/geshi/fsharp.php b/extensions/SyntaxHighlight_GeSHi/geshi/geshi/fsharp.php index d85a7c75..33aa1220 100644 --- a/extensions/SyntaxHighlight_GeSHi/geshi/geshi/fsharp.php +++ b/extensions/SyntaxHighlight_GeSHi/geshi/geshi/fsharp.php @@ -4,7 +4,7 @@ * ---------- * Author: julien ortin (jo_spam-divers@yahoo.fr) * Copyright: (c) 2009 julien ortin - * Release Version: 1.0.8.11 + * Release Version: 1.0.8.12 * Date Started: 2009/09/20 * * F# language file for GeSHi. @@ -209,5 +209,3 @@ $language_data = array( ) ) ); - -?> \ No newline at end of file -- cgit v1.2.2