libraryupgrader 2abdd0f983 build: Updating mediawiki/mediawiki-phan-config to 0.9.0 ... Additional changes: * Added .eslintcache to .gitignore. Add an explicit check before using the parameter. Depends-On: I92ecaa9c14e5c8ba32d152a9e2246a2144b1c7da Change-Id: I255237574e76f1c0d92f376bc8cbb81f7cb4ed14		2019-12-21 14:01:00 +01:00
..
api	Upgrade to newer phan	2019-03-17 16:39:02 -07:00
content	build: Updating mediawiki/mediawiki-phan-config to 0.9.0	2019-12-21 14:01:00 +01: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	phan: Remove suppression for PhanParamTooMany	2019-10-04 11:46:21 +02: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	build: Updating mediawiki/mediawiki-phan-config to 0.8.0	2019-11-03 12:13:20 +01: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