jquery_update breaks display of non-admin pages

Problem/Motivation

jquery_update() 7001 modifies the admin theme jquery version. Adminimal_admin_menu_theme doesn't work properly without the lower jquery version: particularly, it does not enable the accordion in its settings to override and load the jquery 1.7 version that does allow it to work properly.

Steps to reproduce

1. Perform jquery_update_update_7001() using update.php.
2. Load main site page (non-admin). The top area, which may have menu and controls in it will probably be obscured by admin_menu.

After this, the non-admin-themed and some admin-themed pages may be shown improperly. Most importantly the top controls area may be inaccessible.

Proposed resolution

Option 1: Fix the overall adminimal_admin_menu incompatibilities with the more modern jquery library.
Option 2: Fix the settings page to allow the user to open the advanced settings to enable automagical jquery 1.7 load even when more modern jquery library is in use.

Remaining tasks

• Identify best resolution option.
• Implement resolution option

User interface changes

none

API changes

none

Data model changes

none