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


$conf['hidePageTools']    = 0;
$conf['hideSiteTools']    = 0;