Index of /extensions/Gadgets/includes

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 content/                2020-02-17 21:45    -   
 api/                    2020-04-27 21:44    -   
 SpecialGadgets.php      2020-04-27 15:16  7.3K  
 SpecialGadgetUsage.php  2020-04-27 15:16  8.2K  
 MediaWikiGadgetsDefi..> 2020-04-27 15:16  7.7K  
 GadgetResourceLoader..> 2020-04-27 15:16  2.1K  
 GadgetRepo.php          2020-04-27 15:16  2.0K  
 GadgetHooks.php         2020-04-27 15:16  8.6K  
 GadgetDefinitionName..> 2020-04-27 15:16  3.7K  
 Gadget.php              2020-04-27 15:16  7.3K