wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Kunal Mehta adcb193a1b Move GadgetResourceLoaderModule class to separate file 
Change-Id: Ic7dde135168a04fc5916e5f44acd6b8639c8ce1a
2015-08-01 15:10:15 -07:00
..
GadgetRepo.php Add abstract GadgetRepo and MediaWikiGadgetsDefinition implementation 2015-08-01 15:10:07 -07:00
GadgetResourceLoaderModule.php Move GadgetResourceLoaderModule class to separate file 2015-08-01 15:10:15 -07:00
MediaWikiGadgetsDefinitionRepo.php Add abstract GadgetRepo and MediaWikiGadgetsDefinition implementation 2015-08-01 15:10:07 -07:00