Ticket #19087: 19087.2.patch

wp-admin/menu-header.php

@@ -36 +36 @@
 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 +51 @@
                 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] ) )