jenkins-bot has submitted this change and it was merged.
Change subject: Replace deprecated $wgSpecialPageGroups
......................................................................
Replace deprecated $wgSpecialPageGroups
$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead
Change-Id: Ia8edaa01bbbaa22450a578c959da1580288ec656
---
M CreateRedirect.body.php
M CreateRedirect.php
2 files changed, 3 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/CreateRedirect.body.php b/CreateRedirect.body.php
index b2209b3..0bae584 100644
--- a/CreateRedirect.body.php
+++ b/CreateRedirect.body.php
@@ -203,4 +203,7 @@
);
}
+ protected function getGroupName() {
+ return 'pagetools';
+ }
}
diff --git a/CreateRedirect.php b/CreateRedirect.php
index 2e3b3dd..5cfb10a 100644
--- a/CreateRedirect.php
+++ b/CreateRedirect.php
@@ -48,7 +48,6 @@
$dir = dirname( __FILE__ ) . '/';
$wgAutoloadClasses['SpecialCreateRedirect'] = $dir . 'CreateRedirect.body.php';
$wgSpecialPages['CreateRedirect'] = 'SpecialCreateRedirect';
-$wgSpecialPageGroups['CreateRedirect'] = 'pagetools';
$wgMessagesDirs['CreateRedirect'] = __DIR__ . '/i18n';
$wgExtensionMessagesFiles['CreateRedirect'] = $dir . 'CreateRedirect.i18n.php';
$wgExtensionMessagesFiles['CreateRedirectAlias'] = $dir .
'CreateRedirect.alias.php';
--
To view, visit https://gerrit.wikimedia.org/r/220231
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia8edaa01bbbaa22450a578c959da1580288ec656
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CreateRedirect
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Daniel Friesen <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
