<?php
/**
 * English language file for config
 *
 */

$lang['MainMenu'] = 'Menu identifier';
$lang['TocMaxHeight'] = 'Max. table of contents height';