WordPress.org

Make WordPress Core

Ticket #8422: tool-typo.diff

File tool-typo.diff, 751 bytes (added by filosofo, 9 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        }