Formato de salida de menú en wordpress con codex

$menu_name = 'menu-top'; // nombre del menu para mostrar

if ( ( $locations = get_nav_menu_locations() ) && isset( $locations[ $menu_name ] ) ) {
 $menu = wp_get_nav_menu_object( $locations[ $menu_name ] );

$menu_items = wp_get_nav_menu_items($menu->term_id);

$menu_list = '<ul id="menu-' . $menu_name . '" class="nav nav-tabs" >';

foreach ( (array) $menu_items as $key => $menu_item ) {
 $title = $menu_item->title;
 $url = $menu_item->url;
 $menu_list .= '<li class="span5" ><a href="' . $url . '">' . $title . '</a></li>';
 }
 $menu_list .= '</ul>';
 } else {
 $menu_list = '<ul><li>Menu "' . $menu_name . '" not defined.</li></ul>';
 }
echo $menu_list;