1<?php 2$lang['icon_name'] = 'Icon name'; 3$lang['icon_thumbnail_name'] = 'Thumbnail icon name'; 4$lang['default_image'] = 'Default image (media ID, e.g. wiki:logo.png)'; 5$lang['icon_size'] = 'Icon size (px)'; 6$lang['extensions'] = 'Image extensions (separated by ;)'; 7$lang['show_on_top'] = 'Show icon at top of page'; 8$lang['show_as_favicon'] = 'Use icon as page favicon'; 9$lang['parent_fallback'] = 'Icon to use when none is found on the page'; 10$lang['parent_fallback_o_none'] = 'Do not use the parent icon'; 11$lang['parent_fallback_o_direct'] = 'Use the direct parent icon'; 12$lang['parent_fallback_o_first'] = 'Use the first parent icon'; 13