Change Richtext editor to HTML editor

diff --git a/lang/fr/moodle.php b/lang/fr/moodle.php
index 2dc4aadd0b302267c397334493c525c280d6efc1..709032f1a91171375e340d0dd799bd6a4481b818 100644 (file)
--- 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";