wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-23 16:06:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Bartosz Dziewoński 18edf9ca61 Define $maintClass in maintenance script for compatibility 
Bug: T317375
Change-Id: Iad131b1fd7d8ae7e6ea6e01d907dcdbeffd8e4fe
2023-05-17 12:55:27 +02:00
..
NewTopicOptOutActiveUsers.php Define $maintClass in maintenance script for compatibility 2023-05-17 12:55:27 +02:00
persistRevisionThreadItems.php Allow maintenance script to only process pages touched in a time period 2023-04-14 19:44:01 +02:00