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