From 67f2d33d26da1368893e3ba8da566ec1872b4c70 Mon Sep 17 00:00:00 2001
From: Timo Tijhof <krinklemail@gmail.com>
Date: Mon, 29 Apr 2013 23:48:27 +0200
Subject: [PATCH] Declare dependency on jquery.client in ResouceLoader and
 static loader

Follows-up I90ea547c735edab and I004514ab761.

Change-Id: I18a34d47c40c1fa5a2305b86f3e1a066cf9dde2c
---
 VisualEditor.php                 | 3 +++
 maintenance/makeStaticLoader.php | 1 +
 2 files changed, 4 insertions(+)

diff --git a/VisualEditor.php b/VisualEditor.php
index 7342bec76f..cc9ff37f42 100644
--- a/VisualEditor.php
+++ b/VisualEditor.php
@@ -192,6 +192,9 @@ $wgResourceModules += array(
 			've/init/mw/ve.init.mw.Platform.js',
 			've/init/mw/ve.init.mw.Target.js',
 		),
+		'dependencies' => array(
+			'jquery.client',
+		),
 		'debugScripts' => array(
 			've/ve.debug.js',
 		),
diff --git a/maintenance/makeStaticLoader.php b/maintenance/makeStaticLoader.php
index 7778a08035..e959c254cf 100644
--- a/maintenance/makeStaticLoader.php
+++ b/maintenance/makeStaticLoader.php
@@ -42,6 +42,7 @@ class MakeStaticLoader extends Maintenance {
 		$wgResourceModules['Dependencies'] = array(
 			'scripts' => array(
 				'jquery/jquery.js',
+				'jquery/jquery.client.js',
 				'rangy/rangy-core.js',
 				'rangy/rangy-position.js',
 				'unicodejs/unicodejs.js',