mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-12-13 15:58:21 +00:00
2912cd3477
The class is deprecated and RL will likely stop using it. And even then, this method shouldn't care. The exception is unchecked, so whatever its type is, it's just an implementation detail. Bug: T328220 Change-Id: I3c87a376ce1d36f4a1d81a435bbc015199c75913 |
||
---|---|---|
.. | ||
Api | ||
Content | ||
Gadget.php | ||
GadgetDefinitionNamespaceRepo.php | ||
GadgetLoadConditions.php | ||
GadgetRepo.php | ||
GadgetResourceLoaderModule.php | ||
Hooks.php | ||
MediaWikiGadgetsDefinitionRepo.php | ||
SpecialGadgets.php | ||
SpecialGadgetUsage.php |