jenkins-bot has submitted this change and it was merged.

Change subject: Remove unused searchhelp-url and searchmenu-help
......................................................................


Remove unused searchhelp-url and searchmenu-help

searchhelp-url was introduced around r43595 to improve
searchmenu-help (r43376). Both were part of a Special:Search redesign
that never really happened. Commented out in r50207, and removed
in r51228

See also Ic0469c6c51a4d54ee214347fc416615c2f6cb1f0

Change-Id: I82259bd836ba8c4a3042cb81c99165c312ca04cc
---
M languages/messages/MessagesEn.php
M maintenance/language/messageTypes.inc
M maintenance/language/messages.inc
3 files changed, 0 insertions(+), 5 deletions(-)

Approvals:
  Brian Wolff: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/languages/messages/MessagesEn.php 
b/languages/messages/MessagesEn.php
index 94bb8b7..6fb6c11 100644
--- a/languages/messages/MessagesEn.php
+++ b/languages/messages/MessagesEn.php
@@ -1807,9 +1807,7 @@
 'searchmenu-exists'                => "'''There is a page named \"[[:\$1]]\" 
on this wiki.'''",
 'searchmenu-new'                   => "'''Create the page \"[[:\$1]]\" on this 
wiki!'''",
 'searchmenu-new-nocreate'          => '', # do not translate or duplicate this 
message to other languages
-'searchhelp-url'                   => 'Help:Contents',
 'searchmenu-prefix'                => '[[Special:PrefixIndex/$1|Browse pages 
with this prefix]]',
-'searchmenu-help'                  => 
'[[{{MediaWiki:Searchhelp-url}}|{{int:help}}]]?', # do not translate or 
duplicate this message to other languages
 'searchprofile-articles'           => 'Content pages',
 'searchprofile-project'            => 'Help and Project pages',
 'searchprofile-images'             => 'Multimedia',
diff --git a/maintenance/language/messageTypes.inc 
b/maintenance/language/messageTypes.inc
index 17feaf9..4dbae57 100644
--- a/maintenance/language/messageTypes.inc
+++ b/maintenance/language/messageTypes.inc
@@ -96,7 +96,6 @@
        'talkpageheader',
        'anonnotice',
        'autoblock_whitelist',
-       'searchmenu-help',
        'searchmenu-new-nocreate',
        'googlesearch',
        'opensearch-desc',
diff --git a/maintenance/language/messages.inc 
b/maintenance/language/messages.inc
index ee52a3f..c226ce8 100644
--- a/maintenance/language/messages.inc
+++ b/maintenance/language/messages.inc
@@ -954,9 +954,7 @@
                'searchmenu-exists',
                'searchmenu-new',
                'searchmenu-new-nocreate',
-               'searchhelp-url',
                'searchmenu-prefix',
-               'searchmenu-help',
                'searchprofile-articles',
                'searchprofile-project',
                'searchprofile-images',

-- 
To view, visit https://gerrit.wikimedia.org/r/68142
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I82259bd836ba8c4a3042cb81c99165c312ca04cc
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to