mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-28 09:40:20 +00:00
19 lines
600 B
JSON
19 lines
600 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Robin van der Vliet"
|
|
]
|
|
},
|
|
"linterrors": "Lint-eraroj",
|
|
"linterrors-subpage": "Lint-eraroj: $1",
|
|
"linter-form-namespace": "Nomspaco:",
|
|
"linter-pager-title": "Titolo de paĝo",
|
|
"linter-numerrors": "($1 {{PLURAL:$1|eraro|eraroj}})",
|
|
"linter-heading-high-priority": "Alta prioritato",
|
|
"linter-heading-medium-priority": "Meza prioritato",
|
|
"linter-heading-low-priority": "Malalta prioritato",
|
|
"pageinfo-linter": "Lint-eraroj",
|
|
"apihelp-query+linterrors-param-categories": "Kategorioj de lint-eraroj",
|
|
"apihelp-record-lint-param-page": "Titolo de paĝo"
|
|
}
|