wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-12 08:35:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
4003 commits 12 branches 4 tags 131 MiB
Commit graph

5 commits

Author SHA1 Message Date
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
Ed Sanders be02707e10 Document generated messages 
Change-Id: If91a32a48055b5f7d408151c7d2845f07ebd5e27
 2023-11-02 16:29:54 +00:00
Siddharth VP 03fcb20810 Use namespaced Echo classes 
Change-Id: Id1673cb6ec0ae5f9177db28414d46d216fcabb45
 2023-06-08 13:46:31 +05:30
Bartosz Dziewoński 433e57394c Use PHP 7.4 property types 
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
 2022-10-28 21:56:38 +02:00
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