From 3e983dd45a37f3ac95eb4497e17f0a2aef37c086 Mon Sep 17 00:00:00 2001
From: Michael Vogel <icarus@dabo.de>
Date: Mon, 25 Apr 2016 16:42:16 +0200
Subject: [PATCH] Only hide the search if "local_search" was activated.

---
 include/nav.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/nav.php b/include/nav.php
index 2e8dd772c5..8f82bc4d02 100644
--- a/include/nav.php
+++ b/include/nav.php
@@ -118,7 +118,7 @@ function nav_info(&$a) {
 	if(count($a->apps)>0)
 		$nav['apps'] = array('apps', t('Apps'), "", t('Addon applications, utilities, games'));
 
-	if (local_user()) {
+	if (local_user() OR !get_config('system','local_search')) {
 		$nav['search'] = array('search', t('Search'), "", t('Search site content'));
 
 		$nav['searchoption'] = array(
-- 
2.39.5