=== modified file 'includes/common.inc'
--- includes/common.inc	2010-02-20 14:39:51 +0000
+++ includes/common.inc	2010-02-22 10:42:05 +0000
@@ -5018,9 +5018,6 @@ function drupal_common_theme() {
     'help' => array(
       'variables' => array(),
     ),
-    'submenu' => array(
-      'variables' => array('links' => NULL),
-    ),
     'table' => array(
       'variables' => array('header' => NULL, 'rows' => NULL, 'attributes' => array(), 'caption' => NULL, 'colgroups' => array(), 'sticky' => TRUE, 'empty' => ''),
     ),

=== modified file 'includes/theme.inc'
--- includes/theme.inc	2010-02-17 08:50:49 +0000
+++ includes/theme.inc	2010-02-22 10:42:11 +0000
@@ -1592,19 +1592,6 @@ function theme_breadcrumb($variables) {
 }
 
 /**
- * Return a themed submenu, typically displayed under the tabs.
- *
- * @param $variables
- *   An associative array containing:
- *   - links: An array of links.
- */
-function theme_submenu($variables) {
-  $links = $variables['links'];
-
-  return '<div class="submenu">' . implode(' | ', $links) . '</div>';
-}
-
-/**
  * Return a themed table.
  *
  * @param $variables