Index of /extensions/Gadgets/includes

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      content/                2021-09-07 07:24    -   
      api/                    2021-09-07 07:24    -   
      SpecialGadgets.php      2021-09-07 07:24  7.3K  
      SpecialGadgetUsage.php  2021-09-07 07:24  8.2K  
      MediaWikiGadgetsDefi..> 2021-09-07 07:24  7.8K  
      GadgetResourceLoader..> 2021-09-07 07:24  2.1K  
      GadgetRepo.php          2021-09-07 07:24  2.0K  
      GadgetHooks.php         2021-09-07 07:24   10K  
      GadgetDefinitionName..> 2021-09-07 07:24  4.0K  
      Gadget.php              2021-09-07 07:24  7.3K