Umherirrender has uploaded a new change for review. https://gerrit.wikimedia.org/r/211383
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Collection refs/changes/83/211383/1 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: newchange Gerrit-Change-Id: I3907d93a7dba030cd3adf9efafba703711088396 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Collection Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits