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
mediawiki-extensions-Discus.../includes/Notifications
History
Bartosz Dziewoński d33996f8b4 Notify users when a topic they are subscribed to is removed from a page 
In the future the notifications can be improved to look up
the new location of the comment, using the permalinks data.

Depends-On: Ia8a21749a8edc20f34b2a3e445278ea6922b9109
Bug: T299657
Change-Id: I5f5e7b73fb84ff0d31fb8260b24066a17da71628
2022-08-25 03:52:58 +02:00
..
DiscussionToolsEventTrait.php
EnhancedEchoEditUserTalkPresentationModel.php Add return type to jsonSerialize() 2022-07-02 17:32:04 +00:00
EnhancedEchoMentionPresentationModel.php Add return type to jsonSerialize() 2022-07-02 17:32:04 +00:00
EventDispatcher.php Notify users when a topic they are subscribed to is removed from a page 2022-08-25 03:52:58 +02:00
PlaintextEchoPresentationModelSection.php
RemovedTopicPresentationModel.php Notify users when a topic they are subscribed to is removed from a page 2022-08-25 03:52:58 +02:00
SubscribedNewCommentPresentationModel.php Add return type to jsonSerialize() 2022-07-02 17:32:04 +00:00