new string for choosing a file

diff --git a/lang/fr/resource.php b/lang/fr/resource.php
index 7d87b3f53bd868d873316134ed6adacfdd0125fb..3c84dcbba3f5966e9c3bfc69536fe1b2c82b2eb1 100644 (file)
--- 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\r
+$string['notefile'] = "Pour déposer des fichiers dans le cours (afin qu'ils apparaissent dans cette liste), utiliser le
+
 <a href=\$a>Gestionnaire de fichiers</a>.";
 $string['notypechosen'] = "Vous devez choisir un type. Utiliser le bouton « Retour » de votre navigateur et recommencer.";
 $string['resourcetype'] = "Type de ressource";