Optionally disable including mediawiki.legacy (wikibits.js) module.

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 31f1f93..01ae9f3 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2499,6 +2499,12 @@ $wgResourceLoaderUseESI = false;
  */
 $wgResourceLoaderMinifyJSVerticalSpace = false;
 
+/**
+ * Whether to include the mediawiki.legacy JS library (old wikibits.js), and its
+ * dependencies
+ */
+$wgIncludeLegacyJavaScript = true;
+
 /** @} */ # End of resource loader settings }
 
 

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 7f343b4..fc90f2f 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -1788,7 +1788,11 @@ class OutputPage {
                $sk = $wgUser->getSkin();
 
                // Add base resources
-               $this->addModules( array( 'mediawiki.legacy.wikibits', 'mediawiki.util' ) );
+               $this->addModules( 'mediawiki.util' );
+               global $wgIncludeLegacyJavaScript;
+               if( $wgIncludeLegacyJavaScript ){
+                       $this->addModules( 'mediawiki.legacy.wikibits' );
+               }
 
                // Add various resources if required
                if ( $wgUseAjax ) {