mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-24 16:04:00 +00:00
36f4a8c2b2
Change-Id: I75e3de8c2b2c0d8da6a7ff488f38fd31c6abb66e
17 lines
471 B
JSON
17 lines
471 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"
|
|
}
|