No jquery.ui for now.

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index cf92eaf..4b447ae 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -2140,7 +2140,7 @@ class OutputPage {
        public function includeJQuery( $modules = array() ) {
                global $wgScriptPath, $wgStyleVersion, $wgJsMimeType;
 
-               $supportedModules = array( 'ui' );
+               $supportedModules = array( /** TODO: add things here */ );
                $unsupported = array_diff( $modules, $supportedModules );
 
                $params = array(