jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/376190 )
Change subject: Opt out of being available as a global preference ...................................................................... Opt out of being available as a global preference Bug: T175118 Depends-On: I9cad21057472bee83d8146cc6992be07bc65a717 Change-Id: Id6df3fd233471048a84edfdd2b7876b3b84b8c66 --- M GadgetHooks.php 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/GadgetHooks.php b/GadgetHooks.php index 5dd756a..449e707 100644 --- a/GadgetHooks.php +++ b/GadgetHooks.php @@ -121,6 +121,7 @@ 'section' => 'gadgets', 'raw' => 1, 'rawrow' => 1, + 'noglobal' => true, ]; $preferences['gadgets'] = @@ -131,6 +132,7 @@ 'label' => ' ', 'prefix' => 'gadget-', 'default' => $default, + 'noglobal' => true, ]; return true; -- To view, visit https://gerrit.wikimedia.org/r/376190 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id6df3fd233471048a84edfdd2b7876b3b84b8c66 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Gadgets Gerrit-Branch: master Gerrit-Owner: Samwilson <s...@samwilson.id.au> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits