WordPress.org

Make WordPress Core

Ticket #8422: tool-typo.diff

File tool-typo.diff, 751 bytes (added by filosofo, 5 years ago)
  • wp-admin/admin.php

     
    6161                $page_hook = get_plugin_page_hook($plugin_page, $plugin_page); 
    6262                // backwards compatibility for plugins using add_management_page 
    6363                if ( empty( $page_hook ) && 'edit.php' == $pagenow && '' != get_plugin_page_hook($plugin_page, 'tools.php') ) { 
    64                         wp_redirect('tool.php?page=' . $plugin_page); 
     64                        wp_redirect('tools.php?page=' . $plugin_page); 
    6565                        exit; 
    6666                } 
    6767        }