From c05692a5aa165094fb814ccd6475f34bdaf227dd Mon Sep 17 00:00:00 2001
From: Jan Schneider <jan@horde.org>
Date: Wed, 24 Nov 2010 15:27:12 +0100
Subject: [PATCH] Re-add loading horde-jquery.js.

---
 imp/mobile.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/imp/mobile.php b/imp/mobile.php
index 2ef63732c..67f028b25 100644
--- a/imp/mobile.php
+++ b/imp/mobile.php
@@ -38,6 +38,7 @@ $view->portal = Horde::getServiceLink('portal', 'horde')->setRaw(false);
 $view->logout = Horde::getServiceLink('logout')->setRaw(false);
 $title = _("Mobile Mail");
 
+Horde::addScriptFile('horde-jquery.js', 'horde');
 Horde::addScriptFile('mobile.js', 'imp');
 
 require $registry->get('templates', 'horde') . '/common-header-mobile.inc';
-- 
2.11.0