From a3480d4377be2658a2fe2d8f18873da032df3d8f Mon Sep 17 00:00:00 2001 From: martignoni Date: Fri, 31 Oct 2003 11:51:45 +0000 Subject: [PATCH] Change Richtext editor to HTML editor --- lang/fr/moodle.php | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/lang/fr/moodle.php b/lang/fr/moodle.php index 2dc4aadd0b..709032f1a9 100644 --- a/lang/fr/moodle.php +++ b/lang/fr/moodle.php @@ -360,7 +360,7 @@ $string['helpindex'] = "Index g $string['helppicture'] = "Comment ajouter une image"; $string['helpquestions'] = "Formuler des questions pertinentes"; $string['helpreading'] = "Lire attentivement"; -$string['helprichtext'] = "À propos de l'éditeur HTML « Richtext »"; +$string['helprichtext'] = "À propos de l'éditeur HTML"; $string['helpsummaries'] = "À propos de ces résumés"; $string['helptext'] = "Comment rédiger un texte"; $string['helpwiki'] = "Comment rédiger un texte Wiki"; @@ -373,11 +373,11 @@ $string['home'] = "Accueil"; $string['hour'] = "heure"; $string['hours'] = "heures"; $string['howtomakethemes'] = "Comment créer de nouveaux thèmes"; -$string['htmleditor'] = "Utiliser l'éditeur HTML « Richtext » (Internet Explorer 5.5 ou supérieur requis)"; -$string['htmleditoravailable'] = "L'éditeur HTML « Richtext » est disponible"; -$string['htmleditordisabled'] = "Vous avez désactivé l'utilisation de l'éditeur HTML « Richtext » dans votre profil d'utilisateur"; -$string['htmleditordisabledadmin'] = "L'administrateur a désactivé l'utilisation de l'éditeur HTML « Richtext » sur ce site"; -$string['htmleditordisabledbrowser'] = "L'éditeur HTML « Richtext » n'est pas disponible car vous n'utilisez pas un navigateur Internet Explorer version 5.5 ou supérieur"; +$string['htmleditor'] = "Utiliser l'éditeur HTML (ne fonctionne pas avec tous les navigateurs)"; +$string['htmleditoravailable'] = "L'éditeur HTML est disponible"; +$string['htmleditordisabled'] = "Vous avez désactivé l'utilisation de l'éditeur HTML dans votre profil d'utilisateur"; +$string['htmleditordisabledadmin'] = "L'administrateur a désactivé l'utilisation de l'éditeur HTML sur ce site"; +$string['htmleditordisabledbrowser'] = "L'éditeur HTML n'est pas disponible car vous n'utilisez pas un navigateur qui le permet"; $string['htmlformat'] = "Format HTML"; $string['icqnumber'] = "Identifiant ICQ"; $string['idnumber'] = "Identifiant"; -- 2.39.5