From a1e3120441212f593a2180efd60cc6a4a081ff87 Mon Sep 17 00:00:00 2001
From: Sophie Payne <wavesandwaves@protonmail.com>
Date: Mon, 12 Jun 2017 09:23:34 +0100
Subject: [PATCH] Issue #2884921 by wavesandwaves: added checkbox to settings
 form to configure server caching

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

diff --git a/admin_menu.inc b/admin_menu.inc
index 2eab789..2d4f68d 100644
--- a/admin_menu.inc
+++ b/admin_menu.inc
@@ -685,6 +685,11 @@ 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 on the server'),
+    '#default_value' => variable_get('admin_menu_cache_server', 1),
+  );
 
   return system_settings_form($form);
 }
-- 
2.11.0 (Apple Git-81)