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: I3907d93a7dba030cd3adf9efafba703711088396
---
M Collection.body.php
M Collection.php
2 files changed, 4 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Collection.body.php b/Collection.body.php
index 37fecf9..a896648 100644
--- a/Collection.body.php
+++ b/Collection.body.php
@@ -1294,4 +1294,8 @@
);
return false;
}
+
+ protected function getGroupName() {
+ return 'pagetools';
+ }
}
diff --git a/Collection.php b/Collection.php
index 8422830..cad1ed5 100644
--- a/Collection.php
+++ b/Collection.php
@@ -194,7 +194,6 @@
$wgExtensionMessagesFiles['CollectionAlias'] = $dir . 'Collection.alias.php';
$wgSpecialPages['Book'] = 'SpecialCollection';
-$wgSpecialPageGroups['Book'] = 'pagetools';
$wgHooks['SkinTemplateBuildNavUrlsNav_urlsAfterPermalink'][] =
'CollectionHooks::buildNavUrls';
$wgHooks['SkinBuildSidebar'][] = 'CollectionHooks::buildSidebar';
--
To view, visit https://gerrit.wikimedia.org/r/211383
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3907d93a7dba030cd3adf9efafba703711088396
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Collection
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Cscott <canan...@wikimedia.org>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
