Index of /extensions/Gadgets/includes

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      content/                2020-03-08 15:31    -   
      api/                    2020-03-08 15:31    -   
      SpecialGadgets.php      2020-03-08 15:27  7.2K  
      SpecialGadgetUsage.php  2020-03-08 15:27  8.0K  
      MediaWikiGadgetsDefi..> 2020-03-08 15:27  7.7K  
      GadgetResourceLoader..> 2020-03-08 15:27  2.1K  
      GadgetRepo.php          2020-03-08 15:27  2.0K  
      GadgetHooks.php         2020-03-08 15:27  8.7K  
      GadgetDefinitionName..> 2020-03-08 15:27  3.7K  
      Gadget.php              2020-03-08 15:27  7.3K