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