From 4a89127e92100bafb63cf47e8e2053103b3bf610 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 27 Jan 2010 09:50:19 +0000
Subject: [PATCH] No jquery.ui for now.

---
 includes/OutputPage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index cf92eaf690..4b447aef4a 100644
--- 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(
-- 
2.20.1