wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 11:02:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Bartosz Dziewoński 505aef8a60 Use UpdateQueryBuilder and InsertQueryBuilder 
Change-Id: I8d8377a0ad3472d193b1bf9b20c8966bb6b34dd7
2023-08-11 21:59:03 +02:00
..
NewTopicOptOutActiveUsers.php Use UpdateQueryBuilder and InsertQueryBuilder 2023-08-11 21:59:03 +02:00
persistRevisionThreadItems.php Add various, more specific type hints 2023-06-09 13:44:42 +02:00