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

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: Id104a189ecbb075cd78e4fbb3ed70e721c7dc192
This commit is contained in:
Translation updater bot 2022-02-07 07:08:50 +01:00
parent c7a52b3786
commit 9ab2a245e0
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/fr.json
View file

@ -35,7 +35,7 @@
"wikieditor-toolbar-desc": "Barre d’outils de modification avec l’utilisabilité améliorée", "wikieditor-toolbar-desc": "Barre d’outils de modification avec l’utilisabilité améliorée",
"wikieditor-toolbar-preference": "Activer la barre d’outils de modification", "wikieditor-toolbar-preference": "Activer la barre d’outils de modification",
"wikieditor-toolbar-preference-help": "Elle est parfois appelée « éditeur de wikicode 2010 ».", "wikieditor-toolbar-preference-help": "Elle est parfois appelée « éditeur de wikicode 2010 ».",
"wikieditor-toolbar-loading": "Chargement...", "wikieditor-toolbar-loading": "Chargement en cours...",
"wikieditor-toolbar-tool-bold": "Gras", "wikieditor-toolbar-tool-bold": "Gras",
"wikieditor-toolbar-tool-bold-example": "Texte en gras", "wikieditor-toolbar-tool-bold-example": "Texte en gras",
"wikieditor-toolbar-tool-italic": "Italique", "wikieditor-toolbar-tool-italic": "Italique",