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
Bartosz Dziewoński 445b8caca0 persistRevisionThreadItems: Avoid listing non-discussion pages 
Bug: T329627
Change-Id: I52a9f5dfa583d8dc2e0a315844a2a40e538f6a8c
2023-02-14 17:53:27 +01:00
..
manageForeignResources.php Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
persistRevisionThreadItems.php persistRevisionThreadItems: Avoid listing non-discussion pages 2023-02-14 17:53:27 +01:00