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

3 commits

Author SHA1 Message Date
Ed Sanders fcdabc5fcc Only filter code coverage at the class level 
Many methods are covered indirectly, and using method-level
@covers filters means these are reported as not being covered.

Change-Id: I94eb3e8c48209ff0b6bfc09e18c93555bb167e8f
 2022-09-15 14:08:30 +02:00
Bartosz Dziewoński 4c17819a76 Migrate usage of Database::select (and friends) to SelectQueryBuilder 
Bug: T312466
Change-Id: I99d4402d796421221a1c6c56ef88b023cb495833
 2022-08-13 00:32:45 +02:00
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