<?php
/*
 * default configuration settings
 *
 */

$conf['MainMenu'] = 'mainmenu';