From d4169f4d66fd7834b0f9e319c1f77b7e0db9a0d1 Mon Sep 17 00:00:00 2001 From: Oren Me Date: Thu, 29 Nov 2018 14:09:50 +0200 Subject: [PATCH] Bump version to 2.73.rc5 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 574ce05e6c..6c96cf4046 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -20,7 +20,7 @@ $wgBaseMwEmbedPath = realpath( dirname( __FILE__ ) . '/../' ); // The version of the library: -$wgMwEmbedVersion = '2.73.rc4'; +$wgMwEmbedVersion = '2.73.rc5'; // Default HTTP protocol from GET or SERVER parameters if( isset($_GET['protocol']) ) {