<?php
/**
 * Options for the hidemenus plugin
 *
 * @author Daniel Weisshaar <daniwei-dev@gmx.de>
 */


$meta['hidePageTools'] = array('onoff');
$meta['hideSiteTools'] = array('onoff');