wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes
History
Ed Sanders 076c6d828a Parser: Use Element instead of Node when appropriate 
Change-Id: I67015989954e61810302bf8931d05419f007ffeb
2020-05-13 14:46:36 +01:00
..
DiscussionToolsCommentParser.php Parser: Use Element instead of Node when appropriate 2020-05-13 14:46:36 +01:00
DiscussionToolsData.php ConfirmEdit CAPTCHA support 2020-04-21 18:55:38 +02:00
DiscussionToolsHooks.php Hooks: Remove unused variable 2020-05-11 16:55:08 +01:00