wp touch show menu

function _wptouch_show_menu( $menu_slug, $nav_menu_walker, $page_menu_walker ) {
    $nav_menu_walker = apply_filters( 'wptouch_nav_menu_walker', $nav_menu_walker, $menu_slug );
    $page_menu_walker = apply_filters( 'wptouch_page_menu_walker', $page_menu_walker, $menu_slug );

    $menu_to_show = wptouch_get_menu_name_from_slug( $menu_slug );

    if ( $menu_to_show == 'wp' ) {
        wp_list_pages (
            array(
                'title_li' => '',
                'walker' => $page_menu_walker
            )
        );
    } else if ( $menu_to_show != 'none' ) {
        if ( $nav_menu_walker == false ) {
            $nav_menu_walker = new WPtouchProMainNavMenuWalker;
        }

        // WordPress menu
        $menu_params = array(
            'before' => '',
            'after' => '',
            'container' => '',
            'container_class' => '',
            'container_id' => '',
            'link_before' => '',
            'link_after' => '',
            'menu_class' => '',
            'items_wrap' => '%3$s',
            'menu' => $menu_to_show,
            'walker' => $nav_menu_walker
        );

        wp_nav_menu(
            $menu_params
        );

    ?><pre><?php include_once(get_home_path().'dBug.php'); global $wptouch_pro; new dBug(wp_nav_menu($menu_params));?></pre><?php

    }