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

Merge "Re-label "Manage template documentation" to "Manage TemplateData""

Browse source
This commit is contained in:
jenkins-bot 2014-10-21 17:47:05 +00:00 committed by Gerrit Code Review
parent f2b206ec2b 41e8f193ac
commit c7e39b68bf
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

@ -21,7 +21,7 @@
"templatedata-doc-param-status-suggested": "suggested",
"templatedata-doc-param-type": "Type",
"templatedata-doc-params": "Template parameters",
"templatedata-editbutton": "Manage template documentation",
"templatedata-editbutton": "Manage TemplateData",
"templatedata-errormsg-jsonbadformat": "Bad JSON format. Either correct it, or delete the current <templatedata> tags and try again.",
"templatedata-helplink": "Information about TemplateData",
"templatedata-invalid-duplicate-value": "Property \"$1\" (\"$3\") is a duplicate of \"$2\".",