diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 13b5db021d..ef681dedf3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -20,7 +20,7 @@ $wgBaseMwEmbedPath = realpath( dirname( __FILE__ ) . '/../' ); // The version of the library: -$wgMwEmbedVersion = '2.88.3'; +$wgMwEmbedVersion = '2.88.4'; // Default HTTP protocol from GET or SERVER parameters if( isset($_GET['protocol']) ) {