<?php
$lang['icon_name']           = 'Icon name';
$lang['icon_thumbnail_name'] = 'Thumbnail icon name';
$lang['default_image']       = 'Default image (media ID, e.g. wiki:logo.png)';
$lang['icon_size']           = 'Icon size (px)';
$lang['extensions']          = 'Image extensions (separated by ;)';
$lang['show_on_top']         = 'Show icon at top of page';
$lang['show_as_favicon']     = 'Use icon as page favicon';