Ticket #48249: 48249.diff

src/wp-admin/includes/plugin.php

@@ -1373 +1373 @@
         }
 
         $new_sub_menu = array( $menu_title, $capability, $menu_slug, $page_title );
-        if ( null === $position ) {
+        if ( ! is_int( $position ) ) {
                 $submenu[ $parent_slug ][] = $new_sub_menu;
         } else {
                 // If position is equal or higher than the number of items in the array, append the submenu.