wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Timo Tijhof 27a0ca6568 Implement support for 'hidden' feature in MediaWikiGadgetsDefinitionRepo 
Follows-up 152484566, which added support for it in Gadgets 2.0, but
it's easy enough to make it work in existing definitions as well.

That way, people can stop using 'rights=hidden' hacks.

Bug: T33150
Change-Id: Idd6944a9ad38279e117c1a02a4b5fd0343455ba0
2016-11-22 23:46:38 +00:00
..
content Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00
GadgetDefinitionNamespaceRepo.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetRepo.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetResourceLoaderModule.php Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00
MediaWikiGadgetsDefinitionRepo.php Implement support for 'hidden' feature in MediaWikiGadgetsDefinitionRepo 2016-11-22 23:46:38 +00:00