'; $js_dn_list = ''; foreach( $servers as $id => $server ) { if( $server['host'] ) { $server_menu_html .= ''; $server_menu_html .= $server['name'] . ''; } } $server_menu_html .= ''; ?>