Permalink
Browse files

Change Richtext editor to HTML editor

  • Loading branch information...
1 parent 0604ce1 commit a3480d4377be2658a2fe2d8f18873da032df3d8f martignoni committed Oct 31, 2003
Showing with 6 additions and 6 deletions.
  1. +6 −6 lang/fr/moodle.php
View
@@ -360,7 +360,7 @@
$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['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";

0 comments on commit a3480d4

Please sign in to comment.