wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-12 01:09:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: I63955a6ba4d58207b4b4d19f307d69b72a2c834c
This commit is contained in:
Translation updater bot 2022-03-31 08:36:03 +02:00
parent ffcbb3af84
commit 1123399a7e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
i18n/pt-br.json
View file

@ -4,7 +4,8 @@
"Eduardo Addad de Oliveira",
"Eduardoaddad",
"Felipe L. Ewald",
"Opraco"
"Opraco",
"YuriNikolai"
]
},
"linterrors": "Erros de Lint",
@ -46,6 +47,7 @@
"linter-category-wikilink-in-extlink-desc": "Estas páginas têm wikilinks em links externos que podem ser corrigidos",
"linter-desc": "Acompanha erros de lint por meio de serviço externo e mostre-os aos usuários",
"linter-form-namespace": "Espaço nominal:",
"linter-form-title-prefix": "Prefixo do título:",
"linter-heading-high-priority": "Alta prioridade",
"linter-heading-low-priority": "Baixa prioridade",
"linter-heading-medium-priority": "Prioridade média",