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 0d21df43dc Allow maintenance script to work even when DiscussionToolsEnablePermalinksBackend is off 
Bug: T334258
Change-Id: I40e09b2f8561eeac1744bbbc48e3973e519bd9ea
2023-04-14 19:36:18 +02:00
..
manageForeignResources.php Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
persistRevisionThreadItems.php Allow maintenance script to work even when DiscussionToolsEnablePermalinksBackend is off 2023-04-14 19:36:18 +02:00