From 0ca4df123a925ed81edccab644e4cfb6523b1bef Mon Sep 17 00:00:00 2001 From: duck_ Date: Tue, 1 Nov 2011 12:36:14 +0000 Subject: [PATCH] Remove dead code left by r18621. Props ocean90. Fixes #19087. git-svn-id: http://svn.automattic.com/wordpress/trunk@19101 1a063a9b-81f0-0310-95a4-ce76da25c4cd --- wp-admin/menu-header.php | 4 ---- 1 file changed, 4 deletions(-) diff --git a/wp-admin/menu-header.php b/wp-admin/menu-header.php index 4070d1619f..6986e07986 100644 --- a/wp-admin/menu-header.php +++ b/wp-admin/menu-header.php @@ -36,9 +36,6 @@ get_admin_page_parent(); function _wp_menu_output( $menu, $submenu, $submenu_as_parent = true ) { global $self, $parent_file, $submenu_file, $plugin_page, $pagenow, $typenow; - $menu_setting_increment = -1; - $user_settings = get_all_user_settings(); - $first = true; // 0 = name, 1 = capability, 2 = file, 3 = class, 4 = id, 5 = icon src foreach ( $menu as $key => $item ) { @@ -54,7 +51,6 @@ function _wp_menu_output( $menu, $submenu, $submenu_as_parent = true ) { if ( ! empty( $submenu[$item[2]] ) ) { $class[] = 'wp-has-submenu'; $submenu_items = $submenu[$item[2]]; - $menu_setting_increment++; } if ( ( $parent_file && $item[2] == $parent_file ) || ( empty($typenow) && $self == $item[2] ) )