wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 15:36:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "List "Notifications" under "Account management" on Special:SpecialPages"

Browse source
This commit is contained in:
jenkins-bot 2023-03-28 11:06:21 +00:00 committed by Gerrit Code Review
parent 7ea9153b2a 47fb0fdaed
commit a08e5287ec
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Special/SpecialNotifications.php
View file

@ -263,6 +263,6 @@ class SpecialNotifications extends SpecialPage {
}
protected function getGroupName() {
return 'users';
return 'login';
}
}