WordPress.org

Make WordPress Core

Ticket #10132: 10132.patch

File 10132.patch, 816 bytes (added by peaceablewhale, 5 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 )