Merge "Link to mediawiki.org page in 'edithelppage' message"

[lhc/web/wiklou.git] / maintenance / language / messageTypes.inc

diff --git a/maintenance/language/messageTypes.inc b/maintenance/language/messageTypes.inc
index e54af10..0ec22e0 100644 (file)
--- a/maintenance/language/messageTypes.inc
+++ b/maintenance/language/messageTypes.inc
@@ -96,7 +96,6 @@ $wgIgnoredMessages = array(
        'talkpageheader',
        'anonnotice',
        'autoblock_whitelist',
-       'searchmenu-help',
        'searchmenu-new-nocreate',
        'googlesearch',
        'opensearch-desc',