wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Bartosz Dziewoński eede5f73de NewTopicOptOutActiveUsers: Skip bot users etc. 
Bug: T317375
Change-Id: I7b83d1b0a9c450ae5eefa5b6f7ebd9ef4c1f22a1
2023-05-17 17:33:39 +02:00
..
NewTopicOptOutActiveUsers.php NewTopicOptOutActiveUsers: Skip bot users etc. 2023-05-17 17:33:39 +02:00
persistRevisionThreadItems.php Allow maintenance script to only process pages touched in a time period 2023-04-14 19:44:01 +02:00