jenkins-bot has submitted this change and it was merged.
Change subject: Remove unneeded $wgSpecialPageGroups
......................................................................
Remove unneeded $wgSpecialPageGroups
Already inherit SpecialPage::getGroupName from SpecialRandompage
Change-Id: I8d9255bc78e0d51ee2c7e773b031e5e73e94270d
(cherry picked from commit 274971cf0a5349a80683dbdd26f286580dfadcdc)
---
M Randomrootpage.php
M extension.json
2 files changed, 0 insertions(+), 4 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Randomrootpage.php b/Randomrootpage.php
index 3c812d1..389e504 100644
--- a/Randomrootpage.php
+++ b/Randomrootpage.php
@@ -22,7 +22,6 @@
);
$wgSpecialPages['Randomrootpage'] = 'SpecialRandomrootpage';
-$wgSpecialPageGroups['Randomrootpage'] = 'redirects';
$wgMessagesDirs['Randomrootpage'] = __DIR__ . '/i18n';
$wgExtensionMessagesFiles['Randomrootpage'] = __DIR__ .
'/Randomrootpage.i18n.php';
diff --git a/extension.json b/extension.json
index 543cb59..1289b02 100644
--- a/extension.json
+++ b/extension.json
@@ -11,9 +11,6 @@
"SpecialPages": {
"Randomrootpage": "SpecialRandomrootpage"
},
- "SpecialPageGroups": {
- "Randomrootpage": "redirects"
- },
"MessagesDirs": {
"Randomrootpage": [
"i18n"
--
To view, visit https://gerrit.wikimedia.org/r/211447
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8d9255bc78e0d51ee2c7e773b031e5e73e94270d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RandomRootPage
Gerrit-Branch: REL1_25
Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
