wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-24 07:23:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Timo Tijhof 107428075e Content: Use DI for GadgetRepo service 
Change-Id: Idfabb0dfc15bdb9527f7a0018313dc9606cbd715
2024-02-13 13:45:30 +00:00
..
Api Make GadgetRepo a service 2023-12-05 17:38:41 -06:00
Content Content: Use DI for GadgetRepo service 2024-02-13 13:45:30 +00:00
Special Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
CodeEditorHooks.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
Gadget.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
GadgetLoadConditions.php Follow-Up 27f913cc96: Drop complicated MobileContext injection, now unused 2024-01-26 12:48:18 -05:00
GadgetRepo.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
GadgetResourceLoaderModule.php tests: Improve validateScriptFile coverage and tolerate valid ES6 2024-01-05 21:48:58 +00:00
Hooks.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
MediaWikiGadgetsDefinitionRepo.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
MediaWikiGadgetsJsonRepo.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
ServiceWiring.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00
StaticGadgetRepo.php Expand test coverage 2023-12-06 09:18:09 +05:30