mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 03:23:51 +00:00
39 lines
3.5 KiB
JSON
39 lines
3.5 KiB
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Daniel Kinzler, brightbyte.de"
|
|
]
|
|
},
|
|
"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. 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",
|
|
"gadgetusage-usercount": "Number of users",
|
|
"gadgetusage-noresults": "No gadgets found.",
|
|
"gadgetusage-intro": "This table indicates the number of users who have enabled each gadget on this wiki. An active user is counted as someone who has made an edit in the last {{PLURAL:$1|day|$1 days}}. This list excludes stats for gadgets enabled for everyone by default and may include gadgets that are no longer available.",
|
|
"gadgetusage-intro-noactive": "This table indicates the number of users who have enabled each gadget on this wiki. This list excludes stats for gadgets enabled for everyone by default and may include gadgets that are no longer available.",
|
|
"gadgetusage-activeusers": "Active users",
|
|
"gadgetusage-default": "Default",
|
|
"gadgets-definition": "",
|
|
"gadgets-title": "Gadgets",
|
|
"gadgets-pagetext": "Below is a list of special gadgets users can enable on their [[Special:Preferences#mw-prefsection-gadgets|preferences page]], as defined by the [[MediaWiki:Gadgets-definition|definitions]].\nThis overview provides easy access to the system message pages that define each gadget's description and code.",
|
|
"gadgets-uses": "Uses",
|
|
"gadgets-required-rights": "Requires the following {{PLURAL:$2|right|rights}}:\n\n$1",
|
|
"gadgets-required-skins": "Available on the {{PLURAL:$2|$1 skin|following skins: $1}}.",
|
|
"gadgets-default": "Enabled for everyone by default.",
|
|
"gadgets-legacy": "Gadget is not loaded. Please migrate to ResourceLoader. ([https://www.mediawiki.org/wiki/ResourceLoader/Migration_guide_(users) Learn more])",
|
|
"gadgets-export": "Export",
|
|
"gadgets-export-title": "Gadget export",
|
|
"gadgets-not-found": "Gadget \"$1\" not found.",
|
|
"gadgets-export-text": "To export the $1 gadget, click on \"{{int:gadgets-export-download}}\" button, save the downloaded file,\ngo to Special:Import on destination wiki and upload it. Then add the following to MediaWiki:Gadgets-definition page:\n<pre>$2</pre>\nYou must have appropriate permissions on destination wiki (including the right to edit system messages) and import from file uploads must be enabled.",
|
|
"gadgets-export-download": "Download",
|
|
"gadgets-validate-notset": "The property <code>$1</code> is not set.",
|
|
"gadgets-validate-wrongtype": "The property <code>$1</code> must be of type <code>$2</code> instead of <code>$3</code>.",
|
|
"right-gadgets-edit": "Edit gadget JavaScript and CSS pages",
|
|
"action-gadgets-edit": "edit this gadget JavaScript or CSS page",
|
|
"right-gadgets-definition-edit": "Edit gadget definitions",
|
|
"action-gadgets-definition-edit": "edit this gadget definition"
|
|
}
|