WordPress.org

Make WordPress Core

Ticket #6478: 9478-real-fix.diff

File 9478-real-fix.diff, 2.0 KB (added by Denis-de-Bernardy, 6 years ago)

actually fix this and optimize

  • Users/denis/Sites/sem-pro/wp-admin/menu-header.php

     
    7474                } elseif ( $submenu_as_parent && !empty($submenu[$item[2]]) ) { 
    7575                        $submenu[$item[2]] = array_values($submenu[$item[2]]);  // Re-index. 
    7676                        $menu_hook = get_plugin_page_hook($submenu[$item[2]][0][2], $item[2]); 
    77                         if ( ( file_exists(WP_PLUGIN_DIR . "/{$submenu[$item[2]][0][2]}") && ('index.php' != $submenu[$item[2]][0][2]) ) || !empty($menu_hook)) { 
     77                        if ( ( ('index.php' != $submenu[$item[2]][0][2]) && file_exists(WP_PLUGIN_DIR . "/{$submenu[$item[2]][0][2]}") ) || !empty($menu_hook)) { 
    7878                                $admin_is_parent = true; 
    7979                                echo "$img$toggle<a href='admin.php?page={$submenu[$item[2]][0][2]}'$class$tabindex>{$item[0]}</a>"; 
    8080                        } else { 
     
    8282                        } 
    8383                } else if ( current_user_can($item[1]) ) { 
    8484                        $menu_hook = get_plugin_page_hook($item[2], 'admin.php'); 
    85                         if ( file_exists(WP_PLUGIN_DIR . "/{$item[2]}") || !empty($menu_hook) ) { 
     85                        if ( ('index.php' != $item[2]) && file_exists(WP_PLUGIN_DIR . "/{$item[2]}") || !empty($menu_hook) ) { 
    8686                                $admin_is_parent = true; 
    8787                                echo "\n\t$img$toggle<a href='admin.php?page={$item[2]}'$class$tabindex>{$item[0]}</a>"; 
    8888                        } else { 
     
    115115 
    116116                                $menu_hook = get_plugin_page_hook($sub_item[2], $item[2]); 
    117117 
    118                                 if ( ( file_exists(WP_PLUGIN_DIR . "/{$sub_item[2]}") && ('index.php' != $sub_item[2]) ) || ! empty($menu_hook) ) { 
     118                                if ( ( ('index.php' != $sub_item[2]) && file_exists(WP_PLUGIN_DIR . "/{$sub_item[2]}") ) || ! empty($menu_hook) ) { 
    119119                                        // If admin.php is the current page or if the parent exists as a file in the plugins or admin dir 
    120120                                        $parent_exists = (!$admin_is_parent && file_exists(WP_PLUGIN_DIR . "/{$item[2]}") && !is_dir(WP_PLUGIN_DIR . "/{$item[2]}") ) || file_exists($item[2]); 
    121121                                        if ( $parent_exists )