mediawiki-extensions-Gadgets/includes
2019-06-11 20:19:19 +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 Upgrade to newer phan 2019-03-17 16:39:02 -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 Update some generic/unspecific PHPDoc type hints 2019-06-04 17:33:17 +02:00
SpecialGadgetUsage.php Merge "Preload tablesorter styles by module 'jquery.tablesorter.styles'" 2019-06-11 20:19:19 +00:00