Ticket #16015: 16015.parent-file.diff

wp-admin/post.php

@@ -162 +162 @@
                 $parent_file = "edit.php";
                 $submenu_file = "edit.php";
         } else {
-                $parent_file = "edit.php?post_type=$post_type";
+                if ( isset( $post_type_object ) && $post_type_object->show_in_menu && $post_type_object->show_in_menu !== true )
+                        $parent_file = $post_type_object->show_in_menu;
+                else
+                        $parent_file = "edit.php?post_type=$post_type";
                 $submenu_file = "edit.php?post_type=$post_type";
         }