mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-24 23:35:37 +00:00
5fc41bb340
The following sniffs are failing and were disabled: * MediaWiki.Commenting.FunctionComment.ObjectTypeHintParam * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPrivate * MediaWiki.Commenting.PropertyDocumentation.MissingVar * MediaWiki.Usage.ExtendClassUsage.FunctionConfigUsage Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I73a5f722738dff75c623cf631bfa7e3dcf8d6f82 |
||
---|---|---|
.. | ||
api | ||
content | ||
Gadget.php | ||
GadgetDefinitionNamespaceRepo.php | ||
GadgetHooks.php | ||
GadgetRepo.php | ||
GadgetResourceLoaderModule.php | ||
MediaWikiGadgetsDefinitionRepo.php | ||
SpecialGadgets.php | ||
SpecialGadgetUsage.php |