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