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

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: I681d6232c159b8efbaf594c035959f93ff40b78b
This commit is contained in:
Translation updater bot 2019-12-13 09:27:49 +01:00
parent a1b24747e5
commit c13e3b2477
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

@ -12,7 +12,7 @@
"codeeditor-desc": "Coloration syntaxique dans les pages écrites en JavaScript et CSS en utilisant l’[https://ace.c9.io/ Éditeur ACE]",
"codeeditor-next-annotation": "Allez à la prochaine annotation",
"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 l’enregistrer ?",
"codeeditor-save-with-errors": "Le document contient des erreurs. Êtes-vous sûr de vouloir l’enregistrer ?",
"codeeditor-invisibleChars-toggle": "Afficher/masquer les caractères invisibles",
"codeeditor-lineWrapping-toggle": "Activer/désactiver le repli de ligne",
"codeeditor-searchReplace-toggle": "Afficher/masquer l'outil de recherche et de remplacement",