Ticket #37782: 37782.diff

src/wp-admin/includes/nav-menu.php

@@ -527 +527 @@
                                 if ( 'page' == $post_type_name ) {
                                         $front_page = 'page' == get_option( 'show_on_front' ) ? (int) get_option( 'page_on_front' ) : 0;
                                         if ( ! empty( $front_page ) ) {
+                                                /*
+                                                 * Supress $font_page from $posts prior to prepending
+                                                 * This avoids the duplicate entry in the list.
+                                                 */
+                                                foreach ( $posts as $key => $post ) {
+                                                        if ( $post->ID == $front_page ) {
+                                                                unset( $posts[$key] );
+                                                                break;
+                                                        }
+                                                }
+
                                                 $front_page_obj                = get_post( $front_page );
                                                 $front_page_obj->front_or_home = true;
                                                 array_unshift( $posts, $front_page_obj );