Index of /wiki/DE/extensions/Gadgets/includes

• Parent Directory
• GadgetRepo.php
• GadgetResourceLoaderModule.php
• MediaWikiGadgetsDefinitionRepo.php