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$lang['link_icons'] = 'Show icon before internal links'; 14$lang['link_icons_o_none'] = 'Disabled'; 15$lang['link_icons_o_existing'] = 'Existing pages only'; 16$lang['link_icons_o_all'] = 'All pages (including missing)'; 17