mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
0341634e45
Some of Echo's subscription user preferences are mapped to existing user preferences defined in core MediaWiki. However, this special page was checking the Echo preference names, returning incorrect values. This affected the edit-user-talk preference and watchlist preferences (not available with the default configuration). Change-Id: I2de7553f82434505c000c30a71b9f90c4490482b |
||
---|---|---|
.. | ||
NotificationPager.php | ||
SpecialDisplayNotificationsConfiguration.php | ||
SpecialNotifications.php | ||
SpecialNotificationsMarkRead.php |