? 220100.patch
? jquery.event.hover.js
Index: admin_menu.module
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/admin_menu/admin_menu.module,v
retrieving revision 1.43.2.17.2.17
diff -u -p -r1.43.2.17.2.17 admin_menu.module
--- admin_menu.module	11 Jul 2009 21:13:43 -0000	1.43.2.17.2.17
+++ admin_menu.module	15 Jul 2009 19:41:54 -0000
@@ -175,6 +175,7 @@ function admin_menu_init() {
   }
   // Performance: Defer execution.
   drupal_add_js($path . '/admin_menu.js', 'module', 'header', TRUE);
+  drupal_add_js($path . '/jquery.event.hover.js', 'module', 'header', TRUE);
 
   // Destination query strings are applied via JS.
   $settings['destination'] = drupal_get_destination();