WordPress.org

Make WordPress Core

Ticket #10132: 10132.diff

File 10132.diff, 2.1 KB (added by Denis-de-Bernardy, 5 years ago)
  • 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 ( ( ('index.php' != $submenu[$item[2]][0][2]) && file_exists(WP_PLUGIN_DIR . "/{$submenu[$item[2]][0][2]}") ) || !empty($menu_hook)) { 
     77                        if ( file_exists(WP_PLUGIN_DIR . "/{$submenu[$item[2]][0][2]}") && 'index.php' != $submenu[$item[2]][0][2] || !empty($menu_hook) ) { 
    7878                                $admin_is_parent = true; 
    7979                                echo "<div class='wp-menu-image'><a href='admin.php?page={$submenu[$item[2]][0][2]}'>$img</a></div>$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 ( ('index.php' != $item[2]) && file_exists(WP_PLUGIN_DIR . "/{$item[2]}") || !empty($menu_hook) ) { 
     85                        if ( file_exists(WP_PLUGIN_DIR . "/{$item[2]}") && 'index.php' != $item[2] || !empty($menu_hook) ) { 
    8686                                $admin_is_parent = true; 
    8787                                echo "\n\t<div class='wp-menu-image'><a href='admin.php?page={$item[2]}'>$img</a></div>$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 ( ( ('index.php' != $sub_item[2]) && file_exists(WP_PLUGIN_DIR . "/{$sub_item[2]}") ) || ! empty($menu_hook) ) { 
     118                                if ( file_exists(WP_PLUGIN_DIR . "/{$sub_item[2]}") && 'index.php' != $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 )