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

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: I9164f7518514856a0fbfe40d0ef6e990808427ba
This commit is contained in:
Translation updater bot 2018-11-17 22:19:56 +01:00
parent 619b5d34c9
commit 71b727a03a
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
i18n/fr.json
View file

@ -19,7 +19,8 @@
"Djiboun",
"Freak2fast4u",
"Wladek92",
"Niridya"
"Niridya",
"Od1n"
]
},
"wikieditor": "Interface avancée de modification de wikitexte",
@ -29,7 +30,7 @@
"wikieditor-toolbar": "Barre d’outils de modification",
"wikieditor-toolbar-desc": "Barre d’outils de modification avec l’utilisabilité améliorée",
"wikieditor-toolbar-preference": "Activer la barre d’outils d'édition",
"wikieditor-toolbar-preference-help": "Ceci est parfois appelé l'« éditeur wikitext 2010 ».",
"wikieditor-toolbar-preference-help": "Ceci est parfois appelé l'« éditeur wikitexte 2010 ».",
"wikieditor-toolbar-loading": "Chargement...",
"wikieditor-toolbar-tool-bold": "Gras",
"wikieditor-toolbar-tool-bold-example": "Texte en gras",