+ if( ! $page_hook = get_plugin_page_hook($plugin_page, $pagenow) ) {
+ $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') ) {
+ // There could be plugin specific params on the URL, so we need the whole query string
+ if ( !empty($_SERVER[ 'QUERY_STRING' ]) )
+ $query_string = $_SERVER[ 'QUERY_STRING' ];
+ else
+ $query_string = 'page=' . $plugin_page;
+ wp_redirect( 'tools.php?' . $query_string );
+ exit;
+ }
+ }