mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-25 00:38:33 +00:00
a5099739a6
In case 4 and case 6, no notifications are expected. In all other cases we now get the expected notifications. Bug: T285528 Change-Id: I9e813bb3a053bc1232783f9eae1ad75672b4fa7e |
||
---|---|---|
.. | ||
EventDispatcher.php | ||
SubscribedNewCommentPresentationModel.php |