jenkins-bot 4ca18e2fac Merge "Change ResultWrapper to IResultWrapper in special page"		2018-04-07 21:06:33 +00:00
..
api	Move classes into includes/	2018-02-25 11:19:23 +00:00
content	Add phan configuration	2018-02-26 12:57:40 -08:00
Gadget.php	Move classes into includes/	2018-02-25 11:19:23 +00:00
GadgetDefinitionNamespaceRepo.php	Add phan configuration	2018-02-26 12:57:40 -08:00
GadgetHooks.php	Prevent gadget preferences from being cleaned up	2018-04-06 20:06:11 +00: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	Add phan configuration	2018-02-26 12:57:40 -08:00
SpecialGadgets.php	Add phan configuration	2018-02-26 12:57:40 -08:00
SpecialGadgetUsage.php	Change ResultWrapper to IResultWrapper in special page	2018-04-07 10:35:58 +02:00