1<?php 2$lang['bighead'] = 'whether to show the big banner on the landing page'; 3$lang['menusite'] = 'dokuwiki page with JSON menu data'; 4$lang['menu'] = 'create menubar from file (menusite config) or automatically from dokuwiki index'; 5$lang['cleanindexlist'] = 'pages being removed from menu (comma-separated list)'; 6$lang['institute_de'] = 'Institute name (german)'; 7$lang['institute_en'] = 'Institute name (english)'; 8$lang['shortinstitute'] = 'Institute acronym/shortcut'; 9$lang['title_prefix'] = 'prefix for the html title tag'; 10?> 11