Support for menu links without the link

Patch attached that adds support for .

This works very well with following theme_menu_link() override:

/**
 * Overrides theme_menu_link().
 *
 * Returns just the title if the menu item link is set to <empty>.
 */
function THEME_menu_link(array $variables) {
  $element = $variables['element'];
  if ($element['#href'] == '<empty>') {
    $sub_menu = '';

    if ($element['#below']) {
      $sub_menu = drupal_render($element['#below']);
    }
    $output = '<span class="menu-empty-link">' . check_plain($element['#title']) . '</span>';
    return '<li' . drupal_attributes($element['#attributes']) . '>' . $output . $sub_menu . "</li>\n";
  }

  return theme_menu_link($variables);
}