wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-25 00:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
1866 commits 147 branches 0 tags 125 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders 8e4f08182e Add missing typehints 
Change-Id: Ia25c5bea1834a3fdd26f32a9d5ed097789329824
 2021-12-01 14:57:09 +00:00
Bartosz Dziewoński 0d57aa9762 Automatic topic subscriptions (on any edit) 
Bug: T284836
Change-Id: Ia42ad087218fd91a0cdd1664157d1049738e3c01
 2021-11-15 22:45:42 +01:00
Bartosz Dziewoński ad04b24ffd Create a hidden revision tag for talk page comments 
Bug: T262107
Depends-On: I21159d03eebaf46ad94f4273ba698a59b8019185
Change-Id: Iceddfaf6a4bcc5e8b5c85c8cd5638bf14aa7db03
 2021-08-16 15:42:51 +00:00
Bartosz Dziewoński 801b57b0f4 Add PHPUnit integration tests for EventDispatcher 
Bug: T286608
Change-Id: I711483be80d455f4439e96d37844ee4552619a92
 2021-07-24 05:28:04 +02:00