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