1<?php 2/** 3 * English language file for config 4 * 5 */ 6 7$lang['MainMenu'] = 'Menu identifier'; 8$lang['TocMaxHeight'] = 'Max. table of contents height'; 9