wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-13 18:37:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes
History
Ed Sanders bcd3fbfe9a Treat pages with __NEWSECTIONLINK__ as talk pages 
Bug: T245890
Change-Id: Ibb9f6c675ce26c5a0e6e7934bd4659f5aaae6a25
2020-04-01 14:34:05 +01:00
..
DiscussionToolsData.php controller: Make edit summary use the wiki's content language 2020-03-14 14:17:29 +01:00
DiscussionToolsHooks.php Treat pages with __NEWSECTIONLINK__ as talk pages 2020-04-01 14:34:05 +01:00