wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-30 18:44:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: I5c5622e370b5e116be00b1939d5920dae96b97fd
This commit is contained in:
Translation updater bot 2022-09-01 09:34:01 +02:00
parent 361632c1a4
commit fab281771c
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/api/fr.json
View file

@ -18,7 +18,7 @@
"apihelp-query+linterrors-param-pageid": "Inclure uniquement les erreurs lint des pages spécifiées par leur ID",
"apihelp-query+linterrors-param-title": "Inclure uniquement les erreurs lint depuis le titre de page spécifié",
"apihelp-query+linterrors-example-1": "Obtenir toutes les erreurs lint de la catégorie balise désuète",
"apihelp-record-lint-description": "Enregistrer une erreur lint dans la base de données",
"apihelp-record-lint-description": "Enregistrer une erreur d’analyse Lint dans la base de données",
"apihelp-record-lint-summary": "Enregistrer une erreur lint dans la base de données",
"apihelp-record-lint-param-data": "Données encodées en JSON sur l’erreur",
"apihelp-record-lint-param-page": "Titre de la page",