jenkins-bot 9d4d4b0a67 Merge "Hook handlers don't always need to return something"		2019-07-26 15:09:44 +00:00
..
api	Upgrade to newer phan	2019-03-17 16:39:02 -07:00
content	build: Updating mediawiki/mediawiki-codesniffer to 20.0.0	2018-05-26 03:01:39 +00:00
Gadget.php	Update some generic/unspecific PHPDoc type hints	2019-06-04 17:33:17 +02:00
GadgetDefinitionNamespaceRepo.php	Upgrade to newer phan	2019-03-17 16:39:02 -07:00
GadgetHooks.php	Hook handlers don't always need to return something	2019-07-23 02:23:27 -07:00
GadgetRepo.php	Avoid hardcoding specific GadgetRepo implementations for cache invalidations	2017-11-07 12:13:11 -08:00
GadgetResourceLoaderModule.php	build: Updating mediawiki/mediawiki-codesniffer to 20.0.0	2018-05-26 03:01:39 +00:00
MediaWikiGadgetsDefinitionRepo.php	Upgrade to newer phan	2019-03-17 16:39:02 -07:00
SpecialGadgets.php	Add help links to special pages	2019-07-18 01:35:23 +00:00
SpecialGadgetUsage.php	Add help links to special pages	2019-07-18 01:35:23 +00:00