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

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: Id77ff4e0dad4941b16b81e66fe5e14cd248aa7ef
This commit is contained in:
Translation updater bot 2020-09-24 08:28:25 +02:00
parent d4cc19a056
commit d38972b03c
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

@ -13,7 +13,7 @@
"codeeditor-desc": "Coloration syntaxique lors de la modification de pages écrites en JavaScript et CSS, en utilisant l’[https://ace.c9.io/ éditeur ACE]", "codeeditor-desc": "Coloration syntaxique lors de la modification de pages écrites en JavaScript et CSS, en utilisant l’[https://ace.c9.io/ éditeur ACE]",
"codeeditor-next-annotation": "Aller à la prochaine annotation", "codeeditor-next-annotation": "Aller à la prochaine annotation",
"codeeditor-toolbar-toggle": "Activer/désactiver l’éditeur de code", "codeeditor-toolbar-toggle": "Activer/désactiver l’éditeur de code",
"codeeditor-save-with-errors": "Le document contient des erreurs. Êtes-vous sûr de vouloir le publier ?", "codeeditor-save-with-errors": "Le document contient des erreurs. Êtes-vous sûr de vouloir le publier ?",
"codeeditor-invisibleChars-toggle": "Afficher/masquer les caractères invisibles", "codeeditor-invisibleChars-toggle": "Afficher/masquer les caractères invisibles",
"codeeditor-lineWrapping-toggle": "Activer/désactiver le repli de ligne", "codeeditor-lineWrapping-toggle": "Activer/désactiver le repli de ligne",
"codeeditor-searchReplace-toggle": "Afficher/masquer l’outil de recherche et de remplacement", "codeeditor-searchReplace-toggle": "Afficher/masquer l’outil de recherche et de remplacement",