1<?php 2/** 3 * German language file for config 4 * 5 */ 6 7$lang['MainMenu'] = 'Menü-Bezeichner'; 8$lang['TocMaxHeight'] = 'Max. Höhe des Inhaltsverzeichnisses'; 9