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
jenkins-bot fcb935a2ba Merge "Add beta feature preference"
2020-02-21 22:00:44 +00:00
..
DiscussionToolsData.php Stop using old deprecated SpecialPageFactory static functions 2020-02-19 23:15:32 +00:00
DiscussionToolsHooks.php Add beta feature preference 2020-02-21 15:20:48 +00:00