wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
2522 commits 11 branches 4 tags 128 MiB
Commit graph

2 commits

Author SHA1 Message Date
Bartosz Dziewoński 0024a94ba7 Store permalink data, implement Special:FindComment/GoToComment 
Depends-On: I90656cc74bb1cb1f2f3c82ad51cfb164cb8a4a4b
Bug: T296801
Change-Id: I84187b303aa10a242c872088403f808df3d1f940
 2022-08-11 01:19:47 +02:00
David Lynch 5b8646f73f Create table for topic subscriptions 
Bug: T264885
Change-Id: I92d0362eac80ae1ae70839e26e2c084003862a5f
 2021-04-06 21:24:53 +00:00