wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 09:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Timo Tijhof 86d47438d3 maintenance: Use standard doMaintenance boilerplate 
Consistent with core, most WMF extensions, and boilerplate as
documented in extensions/README and elsewhere; as per T316722.

Change-Id: I02cfcb2bd3debf877d1cbf8654dff4a98dd354ad
2022-09-30 18:01:57 +02:00
..
manageForeignResources.php maintenance: Use standard doMaintenance boilerplate 2022-09-30 18:01:57 +02:00
persistRevisionThreadItems.php maintenance: Use standard doMaintenance boilerplate 2022-09-30 18:01:57 +02:00