wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add Special:MyLanguage for better user experience"

Browse source
This commit is contained in:
jenkins-bot 2020-05-09 18:06:29 +00:00 committed by Gerrit Code Review
parent 7add4a1816 2977f44d5e
commit 0454d6b104
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/en.json
View file

@ -23,7 +23,7 @@
"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-legacy": "Gadget is not loaded. Please migrate to ResourceLoader. ([https://www.mediawiki.org/wiki/Special:MyLanguage/ResourceLoader/Migration_guide_(users) Learn more])",
"gadgets-export": "Export",
"gadgets-export-title": "Gadget export",
"gadgets-not-found": "Gadget \"$1\" not found.",