admin_menu.inc |    6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/admin_menu.inc b/admin_menu.inc
index e212970..d8f41b3 100644
--- a/admin_menu.inc
+++ b/admin_menu.inc
@@ -697,6 +697,12 @@ function admin_menu_theme_settings() {
     '#title' => t('Cache menu in client-side browser'),
     '#default_value' => variable_get('admin_menu_cache_client', 1),
   );
+  $form['performance']['admin_menu_cache_server'] = array(
+    '#type' => 'checkbox',
+    '#title' => t('Cache menu in server-side browser'),
+    '#default_value' => variable_get('admin_menu_cache_server', TRUE),
+  );  
+  
   // Fetch all available modules manually, since module_list() only returns
   // currently enabled modules, which makes this setting pointless if developer
   // modules are currently disabled.