Ticket #18085: 18085.patch

wp-admin/includes/menu.php

@@ -216 +216 @@
 
 // Remove the last menu item if it is a separator.
 $last_menu_key = array_pop( array_keys( $menu ) );
-if ( 'wp-menu-separator' == $menu[ $last_menu_key ][ 4 ] )
+if ( !empty( $menu ) && 'wp-menu-separator' == $menu[ $last_menu_key ][ 4 ] )
         unset( $menu[ $last_menu_key ] );
 unset( $last_menu_key );