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: I5ab75599ad8c770da43b3dae82907c01951414a9 (cherry picked from commit b6551bf3c0be253b9909121cb951650dfb07ae91) --- M extension.json M specials/SpecialRenameuser.php 2 files changed, 4 insertions(+), 3 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/extension.json b/extension.json index 346a794..b01a6de 100644 --- a/extension.json +++ b/extension.json @@ -33,9 +33,6 @@ "JobClasses": { "renameUser": "RenameUserJob" }, - "SpecialPageGroups": { - "Renameuser": "users" - }, "GroupPermissions": { "bureaucrat": { "renameuser": true diff --git a/specials/SpecialRenameuser.php b/specials/SpecialRenameuser.php index 70946e3..c8b2a53 100644 --- a/specials/SpecialRenameuser.php +++ b/specials/SpecialRenameuser.php @@ -369,4 +369,8 @@ $out->addHTML( Xml::element( 'h2', null, $logPage->getName()->text() ) . "\n" ); LogEventsList::showLogExtract( $out, $type, $username->getPrefixedText() ); } + + protected function getGroupName() { + return 'users'; + } } -- To view, visit https://gerrit.wikimedia.org/r/211441 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5ab75599ad8c770da43b3dae82907c01951414a9 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Renameuser 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