From 15590cdc06042524785aaad51d9e72832337dcf8 Mon Sep 17 00:00:00 2001
From: Steven Wittens <steven@10.no-reply.drupal.org>
Date: Sun, 5 Feb 2006 19:08:11 +0000
Subject: [PATCH] - #48036: Don't show search box in theme if you have no
 search permission

---
 includes/theme.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/theme.inc b/includes/theme.inc
index 1fd10cde8a1..80164a36a30 100644
--- a/includes/theme.inc
+++ b/includes/theme.inc
@@ -256,7 +256,7 @@ function theme_get_settings($key = NULL) {
   }
 
   // Only offer search box if search.module is enabled.
-  if (!module_exist('search')) {
+  if (!module_exist('search') || !user_access('search content')) {
     $settings['toggle_search'] = 0;
   }