jenkins-bot has submitted this change and it was merged.
Change subject: Move Search page from redirects to pages
......................................................................
Move Search page from redirects to pages
Having it in "Redirecting special pages" seems wrong to me. It's better to
have it in the company of "Lists of pages" like Special:PrefixIndex,
Special:AllPages and friends.
Change-Id: I8c59275e64dce158cd7a5b027c7efbbdb941e4c4
---
M includes/specials/SpecialSearch.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialSearch.php
b/includes/specials/SpecialSearch.php
index 94995db..8a2163b 100644
--- a/includes/specials/SpecialSearch.php
+++ b/includes/specials/SpecialSearch.php
@@ -1183,6 +1183,6 @@
}
protected function getGroupName() {
- return 'redirects';
+ return 'pages';
}
}
--
To view, visit https://gerrit.wikimedia.org/r/53411
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8c59275e64dce158cd7a5b027c7efbbdb941e4c4
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: IAlex <coderev...@emsenhuber.ch>
Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
