mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
e30b466d9c
I believe this is a bug. Individual user's option ($userNotifyTypes) should not influence the options for all users ($notifyTypes). This piece of code was first introduced in I51600bbb26594323831d22bc35d34587ff146d47. Change-Id: I32d56891ac68e82734813280505b4a57d5427f8c |
||
---|---|---|
.. | ||
ModerationController.php | ||
NotificationController.php |