From 17ffa1ed24a1e1fd071c92ea55097ea28319965e Mon Sep 17 00:00:00 2001 From: martignoni Date: Fri, 31 Oct 2003 12:18:36 +0000 Subject: [PATCH] new string for choosing a file --- lang/fr/resource.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lang/fr/resource.php b/lang/fr/resource.php index 7d87b3f53b..3c84dcbba3 100644 --- a/lang/fr/resource.php +++ b/lang/fr/resource.php @@ -3,6 +3,7 @@ $string['addresource'] = "Ajouter une ressource"; +$string['chooseafile'] = "Choisir un fichier"; $string['configframesize'] = "Quand un page web ou un fichier est affiché dans un cadre (frame), cette valeur indique (en pixels) la taille du cadre contenant la navigation (en haut de la fenêtre)."; $string['editingaresource'] = "Modifier une ressource"; $string['example'] = "Exemple"; @@ -27,7 +28,8 @@ $string['newwidth'] = "Largeur de fen $string['newwindow'] = "Nouvelle fenêtre"; $string['newwindowopen'] = "Afficher cette ressource dans une nouvelle fenêtre"; $string['note'] = "Remarque"; -$string['notefile'] = "Pour déposer des fichiers dans le cours (afin qu'ils apparaissent dans cette liste), utiliser le +$string['notefile'] = "Pour déposer des fichiers dans le cours (afin qu'ils apparaissent dans cette liste), utiliser le + Gestionnaire de fichiers."; $string['notypechosen'] = "Vous devez choisir un type. Utiliser le bouton « Retour » de votre navigateur et recommencer."; $string['resourcetype'] = "Type de ressource"; -- 2.39.5