mirror of
https://github.com/moodle/moodle.git
synced 2025-02-02 14:19:07 +01:00
42 lines
2.7 KiB
PHP
Executable File
42 lines
2.7 KiB
PHP
Executable File
<?php // $Id$
|
|
|
|
$string['block_rss_feeds_title'] = 'Fils RSS distants';
|
|
$string['block_rss_feeds_add_edit'] = 'Ajouter/modifier des fils RSS';
|
|
$string['block_rss_remote_news_feed'] = 'Fils de nouvelles RSS distants';
|
|
$string['block_rss_feed_updated'] = 'Fil RSS mis à jour';
|
|
$string['block_rss_feed_added'] = 'Fil RSS ajouté';
|
|
$string['block_rss_update_feed'] = 'Modifier l\'URL d\'un fil URL : ';
|
|
$string['block_rss_add_feed'] = 'Ajouter l\'URL d\'un fil URL : ';
|
|
$string['block_rss_feed_deleted'] = 'Fil RSS supprimé';
|
|
|
|
$string['block_rss_client_num_entries'] = 'Nombre par défaut d\'articles RSS à afficher par bloc.';
|
|
$string['block_rss_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['block_rss_choose_feed_label'] = 'Choisir les fils RSS que vous désirez rendre disponibles dans ce bloc :';
|
|
$string['block_rss_client_show_channel_link_label'] = '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['block_rss_client_show_image_label'] = 'Afficher l\'image du site si disponible :';
|
|
$string['block_rss_client_channel_link'] = 'Site d\'origine...';
|
|
$string['block_rss_custom_title_label'] = 'Title personnalisé (laisser vide pour utiliser le titre fourné par le fil) :';
|
|
$string['validate_feed'] = 'Valider le fil';
|
|
$string['block_rss_no_feeds'] = 'Il n\'y a pas de fil RSS défini sur ce site.';
|
|
$string['block_rss_edit_news_feeds'] = 'Modifier les fils de nouvelles RSS';
|
|
$string['block_rss_shownumentries_label'] = 'Nombre maximum d\'articles à afficher par bloc.';
|
|
$string['block_rss_display_description_label'] = 'Afficher la description de chaque lien ?';
|
|
|
|
$string['block_rss_could_not_find_feed'] = 'Impossible de trouver le fil RSS d\'identifiant';
|
|
$string['block_rss_feed'] = 'Fil RSS';
|
|
$string['block_rss_find_more_feeds'] = 'Rechercher d\'autres fils RSS';
|
|
|
|
$string['block_rss_delete_feed_confirm'] = 'Voulez-vous vraiment supprimer ce fil RSS ?';
|
|
$string['block_rss_timeout'] = 'block_rss_timeout';
|
|
$string['block_rss_timeout_desc'] = 'Durée de vie en cache d\'un fil RSS (en minutes).';
|
|
$string['block_rss_add_headline_block'] = 'Ajouter un bloc manchette RSS';
|
|
$string['block_rss_pick_feed'] = 'Choisir un fil RSS';
|
|
$string['block_rss_feeds'] = 'Fils RSS';
|
|
$string['block_rss_feed'] = 'Fil RSS';
|
|
$string['block_rss_edit_feeds'] = 'Modifier, s\'abonner ou se désabonner d\'un fil RSS/';
|
|
$string['block_rss_see_all_feeds'] = 'Afficher tous les fils RSS';
|
|
$string['block_rss_edit_rss_block'] = 'Modifier le bloc manchette RSS';
|
|
|
|
$string['block_rss_add_new'] = 'Ajouter nouveau';
|
|
|
|
?>
|