Ticket #15595: 15595.patch

plugin.php

@@ -836 +836 @@
         $new_menu = array( $menu_title, $capability, $menu_slug, $page_title, 'menu-top ' . $hookname, $hookname, $icon_url );
 
         if ( null === $position  )
+        {
                 $menu[] = $new_menu;
+        }
         else
+        {
+                //In case of position collision, push the conflicting menu to the next open position
+                while(isset($menu[$position]))
+                {
+                        $position++;
+                }
+                
                 $menu[$position] = $new_menu;
-
+        }
         $_registered_pages[$hookname] = true;
-
+        
         // No parent as top level
         $_parent_pages[$menu_slug] = false;