mirror of
https://github.com/moodle/moodle.git
synced 2025-02-25 12:33:18 +01:00
41 lines
2.5 KiB
PHP
Executable File
41 lines
2.5 KiB
PHP
Executable File
<?php // $Id$
|
|
|
|
$string['addfeed'] = 'Ajouter l\'URL d\'un fil URL : ';
|
|
$string['addheadlineblock'] = 'Ajouter un bloc manchette RSS';
|
|
$string['addnew'] = 'Ajouter nouveau';
|
|
$string['choosefeedlabel'] = 'Choisir les fils RSS que vous désirez rendre disponibles dans ce bloc :';
|
|
$string['clientchannellink'] = 'Site d\'origine...';
|
|
$string['clientnumentries'] = 'Nombre par défaut d\'articles RSS à afficher par bloc.';
|
|
$string['clientshowchannellinklabel'] = 'Un lien vers le site original doit-il être affiché ? (Si aucun lien n\'est fourni dans le fil, aucun lien ne sera affiché) :';
|
|
$string['clientshowimagelabel'] = 'Afficher l\'image du fil si disponible :';
|
|
$string['configblock'] = 'Configurer ce bloc';
|
|
$string['couldnotfindfeed'] = 'Impossible de trouver le fil RSS d\'identifiant';
|
|
$string['customtitlelabel'] = 'Titre personnalisé (laisser vide pour utiliser le titre fourni dans le fil) :';
|
|
$string['deletefeedconfirm'] = 'Voulez-vous vraiment supprimer ce fil RSS ?';
|
|
$string['displaydescriptionlabel'] = 'Afficher la description de chaque lien ?';
|
|
$string['editfeeds'] = 'Modifier, s\'abonner ou se désabonner d\'un fil RSS/';
|
|
$string['editnewsfeeds'] = 'Modifier les fils de nouvelles RSS';
|
|
$string['editrssblock'] = 'Modifier le bloc manchette RSS';
|
|
$string['feed'] = 'Fil RSS';
|
|
$string['feedadded'] = 'Fil RSS ajouté';
|
|
$string['feeddeleted'] = 'Fil RSS supprimé';
|
|
$string['feeds'] = 'Fils RSS';
|
|
$string['feedsaddedit'] = 'Ajouter/modifier des fils RSS';
|
|
$string['feedsconfigurenewinstance'] = 'Cliquer ici pour afficher dans ce bloc des fils RSS';
|
|
$string['feedstitle'] = 'Fils RSS distants';
|
|
$string['feedupdated'] = 'Fil RSS mis à jour';
|
|
$string['findmorefeeds'] = 'Rechercher d\'autres fils RSS';
|
|
$string['managefeeds'] = 'Gérer tous mes fils RSS';
|
|
$string['nofeeds'] = 'Il n\'y a pas de fil RSS défini sur ce site.';
|
|
$string['pickfeed'] = 'Choisir un fil RSS';
|
|
$string['remotenewsfeed'] = 'Fils de nouvelles RSS distants';
|
|
$string['seeallfeeds'] = 'Afficher tous les fils RSS';
|
|
$string['shownumentrieslabel'] = 'Nombre maximum d\'articles à afficher par bloc.';
|
|
$string['submitters'] = 'Qui aura l\'autorisation de définir de nouveaux fils RSS ? Les fils RSS définis sont disponibles sur toutes les pages de votre site.';
|
|
$string['timeout'] = 'blockrsstimeout';
|
|
$string['timeoutdesc'] = 'Durée de vie en cache d\'un fil RSS (en minutes).';
|
|
$string['updatefeed'] = 'Modifier l\'URL d\'un fil URL : ';
|
|
$string['validatefeed'] = 'Valider le fil';
|
|
|
|
?>
|