<?php
/*
 * configuration metadata
 *
 */

$meta['MainMenu']     = array('string');
$meta['TocMaxHeight'] = array('numeric');
$meta['GoBottomBtn']    = array('onoff');
$meta['FullScreenBtn']    = array('onoff');
$meta['ShowUserFooter']    = array('onoff');
$meta['ShowACLFooter']    = array('onoff');