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.../includes
History
jenkins-bot 922443f68f Merge "ConfirmEdit CAPTCHA support"
2020-04-29 12:04:44 +00:00
..
DiscussionToolsData.php ConfirmEdit CAPTCHA support 2020-04-21 18:55:38 +02:00
DiscussionToolsHooks.php Merge "Enable on all ExtraSignaturesNamespaces" 2020-04-28 18:32:36 +00:00