wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 10:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Bartosz Dziewoński 7b5a8cea11 persistRevisionThreadItems: Print time taken 
Change-Id: Ide002b26740815ef0db3351a0e7e8c498010d164
2022-11-09 00:18:42 +01:00
..
manageForeignResources.php maintenance: Use standard doMaintenance boilerplate 2022-09-30 18:01:57 +02:00
persistRevisionThreadItems.php persistRevisionThreadItems: Print time taken 2022-11-09 00:18:42 +01:00