1<?php
2/**
3 * Options for the hidemenus plugin
4 *
5 * @author Daniel Weisshaar <daniwei-dev@gmx.de>
6 */
7
8
9$meta['hidePageTools'] = array('onoff');
10$meta['hideSiteTools'] = array('onoff');
11
12