diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index a461ce8e6c..70540f5cf4 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -12,7 +12,7 @@ $wgBaseMwEmbedPath = realpath( dirname( __FILE__ ) . '/../' ); // The version of the library: -$wgMwEmbedVersion = '2.19.rc8'; +$wgMwEmbedVersion = '2.19.rc9'; // Default HTTP protocol from GET or SERVER parameters