wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-14 19:14:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Aaron Schulz 4e7612bca1 Update getWithSetCallback() callers to the newer signature 
Change-Id: I4207b1acfd2e831ec13998f784833ffc413cb690
2015-10-07 19:14:56 -07:00
..
GadgetRepo.php Add abstract GadgetRepo and MediaWikiGadgetsDefinition implementation 2015-08-01 15:10:07 -07:00
GadgetResourceLoaderModule.php Add support for 'messages' and 'hidden' gadgets 2015-08-08 00:43:16 +00:00
MediaWikiGadgetsDefinitionRepo.php Update getWithSetCallback() callers to the newer signature 2015-10-07 19:14:56 -07:00