Index of /extensions/Gadgets/includes

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      content/                2016-08-22 13:53    -   
      MediaWikiGadgetsDefi..> 2016-08-22 13:53  6.5K  
      GadgetResourceLoader..> 2016-08-22 13:53  1.9K  
      GadgetRepo.php          2016-08-22 13:53  1.4K  
      GadgetDefinitionName..> 2016-08-22 13:53  2.9K