/extensions/Gadgets/includes/

• ../
• GadgetRepo.php
• GadgetResourceLoaderModule.php
• MediaWikiGadgetsDefinitionRepo.php