wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 18:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

List "Topic subscriptions" under "Account management" on Special:SpecialPages

Browse source 
Bug: T333242
Depends-On: Ieba1631ca3c0562b784aa07d2b26c418448e70a1
Change-Id: I98f67216936846005f2fe1482b18c863da7e0bc7
This commit is contained in:
Bartosz Dziewoński 2023-03-24 20:07:17 +01:00 committed by Bartosz Dziewoński
parent 98f37c5e9e
commit 9f5692cf85
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/SpecialTopicSubscriptions.php
View file

@ -50,4 +50,10 @@ class SpecialTopicSubscriptions extends SpecialPage {
return $this->msg( 'discussiontools-topicsubscription-special-title' )->text();
}
/**
* @inheritDoc
*/
protected function getGroupName() {
return 'login';
}
}