wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-04 21:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes/Notifications
History
Umherirrender 64bcb583e9 Use namespaced classes 
Done automatically via script
Change to extension.json done manually

Change-Id: Ied7bbddd357290ac6be6bf480be0ee9116e77365
2023-12-11 16:38:02 +01:00
..
AddedTopicPresentationModel.php New topic notifications 2023-03-20 14:41:53 +00:00
DiscussionToolsEventTrait.php Use namespaced Echo classes 2023-06-08 13:46:31 +05:30
EnhancedEchoEditUserTalkPresentationModel.php Update moved class RawMessage 2023-05-19 10:30:50 +00:00
EnhancedEchoMentionPresentationModel.php Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
EventDispatcher.php Use namespaced classes 2023-12-11 16:38:02 +01:00
PlaintextEchoPresentationModelSection.php Use namespaced Echo classes 2023-06-08 13:46:31 +05:30
RemovedTopicPresentationModel.php Use namespaced classes 2023-12-11 16:38:02 +01:00
SubscribedNewCommentPresentationModel.php Use namespaced classes 2023-12-11 16:38:02 +01:00