106 		$post_edit_link = get_edit_post_link();

   106 		$post_edit_link = get_edit_post_link();

   107 		$post_title     = '<a href="' . $post_edit_link . '">' . _draft_or_post_title() . '</a>';

   107 		$post_title     = '<a href="' . $post_edit_link . '">' . _draft_or_post_title() . '</a>';

   108 		/* translators: %s: Post title. */

   108 		/* translators: %s: Post title. */

   109 		$h1             = sprintf( __( 'Compare Revisions of “%s”' ), $post_title );

   109 		$h1             = sprintf( __( 'Compare Revisions of “%s”' ), $post_title );

   110 		$return_to_post = '<a href="' . $post_edit_link . '">' . __( '&larr; Go to editor' ) . '</a>';

   110 		$return_to_post = '<a href="' . $post_edit_link . '">' . __( '&larr; Go to editor' ) . '</a>';

   112 

   113 

   113 		$redirect = false;

   114 		$redirect = false;

   114 		break;

   115 		break;

   115 }

   116 }

   116 

   117 

   123 	wp_redirect( $redirect );

   124 	wp_redirect( $redirect );

   124 	exit;

   125 	exit;

   125 }

   126 }

   126 

   127 

   127 // This is so that the correct "Edit" menu item is selected.

   128 // This is so that the correct "Edit" menu item is selected.

   129 	$parent_file = 'edit.php?post_type=' . $post->post_type;

   130 	$parent_file = 'edit.php?post_type=' . $post->post_type;

   130 } else {

   131 } else {

   131 	$parent_file = 'edit.php';

   132 	$parent_file = 'edit.php';

   132 }

   133 }

   133 $submenu_file = $parent_file;

   134 $submenu_file = $parent_file;