From 892b74d1f7e442d30f11ea8a13cbc4045ed10181 Mon Sep 17 00:00:00 2001 From: amirch1 Date: Thu, 23 Oct 2014 12:15:09 +0300 Subject: [PATCH] bump v2.20.rc10 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index f068da4985..8c6ded61af 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -12,7 +12,7 @@ $wgBaseMwEmbedPath = realpath( dirname( __FILE__ ) . '/../' ); // The version of the library: -$wgMwEmbedVersion = '2.20.rc9'; +$wgMwEmbedVersion = '2.20.rc10'; // Default HTTP protocol from GET or SERVER parameters