From 946a4dcac18f06884b5b2bd709c6698be0286c1c Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Tue, 11 Nov 2008 16:17:04 +0000
Subject: [PATCH] Make 'searchmenu-help' optional

---
 maintenance/language/messageTypes.inc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/maintenance/language/messageTypes.inc b/maintenance/language/messageTypes.inc
index ffdfb9a1b7..254de489b3 100644
--- a/maintenance/language/messageTypes.inc
+++ b/maintenance/language/messageTypes.inc
@@ -71,6 +71,7 @@ $wgIgnoredMessages = array(
 	'addsection',
 	'anonnotice',
 	'autoblock_whitelist',
+	'searchmenu-help',
 	'googlesearch',
 	'opensearch-desc',
 	'exif-make-value',
-- 
2.20.1