jenkins-bot has submitted this change and it was merged.
Change subject: Add a GadgetUsage link to gadgets-prefstext message in
Special:Preferences
......................................................................
Add a GadgetUsage link to gadgets-prefstext message in Special:Preferences
Add a link for Special:GadgetUsage to the [[MediaWiki:Gadgets-prefstext]].
Bug: T120976
Change-Id: I352bdc19c494b9c1aa33e39654ddcd57a3d63b45
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Alex Monk: Looks good to me, approved
jenkins-bot: Verified
diff --git a/i18n/en.json b/i18n/en.json
index ef781e5..54dc3ea 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -6,7 +6,7 @@
},
"gadgets-desc": "Lets users select custom [[Special:Gadgets|CSS and
JavaScript gadgets]] in their
[[Special:Preferences#mw-prefsection-gadgets|preferences]]",
"prefs-gadgets": "Gadgets",
- "gadgets-prefstext": "Below is a list of special gadgets you can enable
for your account.\nThese gadgets are mostly based on JavaScript, so JavaScript
has to be enabled in your browser for them to work.\nNote that these gadgets
will have no effect on this preferences page.\n\nAlso note that these special
gadgets are not part of the MediaWiki software, and are usually developed and
maintained by users on your local wiki.\nLocal administrators can edit the
[[MediaWiki:Gadgets-definition|definitions]] and
[[Special:Gadgets|descriptions]] of available gadgets.",
+ "gadgets-prefstext": "Below is a list of special gadgets you can enable
for your account.\nThese gadgets are mostly based on JavaScript, so JavaScript
has to be enabled in your browser for them to work.\nNote that these gadgets
will have no effect on this preferences page.\n\nAlso note that these special
gadgets are not part of the MediaWiki software, and are usually developed and
maintained by users on your local wiki.\nLocal administrators can edit the
[[MediaWiki:Gadgets-definition|definitions]] and
[[Special:Gadgets|descriptions]] of available gadgets. The numbers of users for
each gadget on this wiki is listed at [[Special:GadgetUsage|Gadget usage
statistics]].",
"gadgets": "Gadgets",
"gadgetusage": "Gadget usage statistics",
"gadgetusage-gadget": "Gadget",
--
To view, visit https://gerrit.wikimedia.org/r/259982
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I352bdc19c494b9c1aa33e39654ddcd57a3d63b45
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: master
Gerrit-Owner: JadeMaveric <[email protected]>
Gerrit-Reviewer: Aklapper <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
