WordPress.org

Make WordPress Core

Ticket #10132: 10132.patch

File 10132.patch, 816 bytes (added by peaceablewhale, 9 years ago)
  • wp-admin/menu-header.php

     
    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 ( ( ('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 )