wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 01:00:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/tests/phpunit/integration
History
jsn 929bfc6404 Preserve Gadget prefs when they can't be enabled 
- Always define gadget enable/disable preferences
- Show a gadget's preference when it can be enabled

Bug: T341421
Change-Id: If32eecebccf2c9b557d7dde273b7faf7118a7ac3
2023-09-06 19:32:31 -05:00
..
GadgetHooksTest.php Preserve Gadget prefs when they can't be enabled 2023-09-06 19:32:31 -05:00
GadgetResourceLoaderModuleTest.php Namespace extension 2022-03-05 17:03:35 +00:00