Jack Phoenix has submitted this change and it was merged.
Change subject: Replaced deprecated $wgSpecialPageGroups definition with the
correct, modern way of grouping a special page
......................................................................
Replaced deprecated $wgSpecialPageGroups definition with the correct, modern
way of grouping a special page
Change-Id: I055bbf6000a9fe7d49aacb08d8bb4da65d7084f1
---
M Phalanx.php
M SpecialPhalanx.body.php
2 files changed, 9 insertions(+), 2 deletions(-)
Approvals:
Jack Phoenix: Verified; Looks good to me, approved
diff --git a/Phalanx.php b/Phalanx.php
index 1338f0f..aa122c6 100644
--- a/Phalanx.php
+++ b/Phalanx.php
@@ -87,8 +87,6 @@
$wgSpecialPages['Phalanx'] = 'SpecialPhalanx';
$wgSpecialPages['PhalanxStats'] = 'PhalanxStats';
-$wgSpecialPageGroups['Phalanx'] = 'pagetools';
-
// New log to track Phalanx rule additions, changes and deletions
$wgLogTypes[] = 'phalanx';
$wgLogNames['phalanx'] = 'phalanx-rule-log-name';
diff --git a/SpecialPhalanx.body.php b/SpecialPhalanx.body.php
index 6c9d81c..2f47817 100644
--- a/SpecialPhalanx.body.php
+++ b/SpecialPhalanx.body.php
@@ -13,6 +13,15 @@
}
/**
+ * Group this special page under the correct header in
Special:SpecialPages.
+ *
+ * @return string
+ */
+ protected function getGroupName() {
+ return 'pagetools';
+ }
+
+ /**
* Show the special page
*
* @param $par Mixed: parameter passed to the special page or null
--
To view, visit https://gerrit.wikimedia.org/r/169737
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I055bbf6000a9fe7d49aacb08d8bb4da65d7084f1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Phalanx
Gerrit-Branch: master
Gerrit-Owner: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
