From 49c1bdc2ca200f0d22d31c1f189544a67997554d Mon Sep 17 00:00:00 2001 From: MichalRadwantzor Date: Thu, 21 Aug 2014 11:51:13 +0300 Subject: [PATCH] bump 2.17.rc7 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index b15d63a25f..4c99d2e0cb 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -12,7 +12,7 @@ $wgBaseMwEmbedPath = realpath( dirname( __FILE__ ) . '/../' ); // The version of the library: -$wgMwEmbedVersion = '2.17.rc6'; +$wgMwEmbedVersion = '2.17.rc7'; // Default HTTP protocol from GET or SERVER parameters if( isset($_GET['protocol']) ) {