1<?php 2$lang['icon_name'] = "Nom de l'icone"; 3$lang['icon_thumbnail_name'] = "Nom de la petite icone"; 4$lang['default_image'] = "Image par defaut (ID media, ex: wiki:logo.png)"; 5$lang['icon_size'] = "Taille de l'icone (px)"; 6$lang['extensions'] = "Extensions des images (separees par ;)"; 7$lang['show_on_top'] = "Afficher l'icone en haut de page"; 8$lang['show_as_favicon'] = "Utiliser l'icone comme favicon de la page"; 9