mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 03:23:51 +00:00
152484566d
In the backend, allow: * Adding dependencies on messages * Marking gadgets as hidden so they don't show in preferences These cannot be used by MediaWiki:Gadgets-definition gadgets, but will be used by Gadgets 2.0 gadgets. Change-Id: I55e97de9d631ae001ccc0164db172ba9c5689a34 |
||
---|---|---|
.. | ||
GadgetRepo.php | ||
GadgetResourceLoaderModule.php | ||
MediaWikiGadgetsDefinitionRepo.php |