mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-18 02:40:41 +00:00
86fca60a02
Change-Id: I5e1e0b0cc78708775f6d70db73b03f49fa83bbd3
17 lines
471 B
JSON
17 lines
471 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Robin van der Vliet"
|
|
]
|
|
},
|
|
"linterrors": "Lint-eraroj",
|
|
"linter-form-namespace": "Nomspaco:",
|
|
"linter-heading-high-priority": "Alta prioritato",
|
|
"linter-heading-low-priority": "Malalta prioritato",
|
|
"linter-heading-medium-priority": "Meza prioritato",
|
|
"linter-numerrors": "($1 {{PLURAL:$1|eraro|eraroj}})",
|
|
"linter-pager-title": "Titolo de paĝo",
|
|
"linterrors-subpage": "Lint-eraroj: $1",
|
|
"pageinfo-linter": "Lint-eraroj"
|
|
}
|