wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Thiemo Mättig f564d52d9a Fix PHPDocs of GadgetDefinitionContent::getDeletionUpdates 
DataUpdate is a specific implementation (currently the only one), while
DeferrableUpdate is the interface. Binding against the interface is
enough, and what the base classes already do.

I'm also removing a line of meaningless documentation. "Creates an
instance of this class" is a general description that is true for all
constructors.

Change-Id: Ia6dc86b078628db5e0ab68ef46bf0396567b767c
2018-01-24 14:51:16 +01:00
..
content Fix PHPDocs of GadgetDefinitionContent::getDeletionUpdates 2018-01-24 14:51:16 +01:00
GadgetDefinitionNamespaceRepo.php Avoid hardcoding specific GadgetRepo implementations for cache invalidations 2017-11-07 12:13:11 -08:00
GadgetRepo.php Avoid hardcoding specific GadgetRepo implementations for cache invalidations 2017-11-07 12:13:11 -08:00
GadgetResourceLoaderModule.php Fix PHPDocs of GadgetDefinitionContent::getDeletionUpdates 2018-01-24 14:51:16 +01:00
MediaWikiGadgetsDefinitionRepo.php Avoid hardcoding specific GadgetRepo implementations for cache invalidations 2017-11-07 12:13:11 -08:00