wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-17 18:41:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes
History
Ed Sanders f75137ecc1 Don't use globals to access config 
Change-Id: I6180dff629af554b5430e20c2db2f6f94ef96478
2020-02-21 15:20:47 +00:00
..
DiscussionToolsData.php build: Add missing .phpcs.xml and make pass 2020-01-13 20:48:11 +01:00
DiscussionToolsHooks.php Don't use globals to access config 2020-02-21 15:20:47 +00:00