Ticket #8422: tool-typo.diff

wp-admin/admin.php

@@ -61 +61 @@
                 $page_hook = get_plugin_page_hook($plugin_page, $plugin_page);
                 // backwards compatibility for plugins using add_management_page
                 if ( empty( $page_hook ) && 'edit.php' == $pagenow && '' != get_plugin_page_hook($plugin_page, 'tools.php') ) {
-                        wp_redirect('tool.php?page=' . $plugin_page);
+                        wp_redirect('tools.php?page=' . $plugin_page);
                         exit;
                 }
         }