Ticket #40927: 40927.2.diff

plugin.php

@@ -1093 +1093 @@
 
         $new_menu = array( $menu_title, $capability, $menu_slug, $page_title, 'menu-top ' . $icon_class . $hookname, $hookname, $icon_url );
 
+        if ( ! is_int( $position ) && ! is_string( $position ) ) {
+                $position = (string) $position;
+        }
+
         if ( null === $position ) {
                 $menu[] = $new_menu;
         } elseif ( isset( $menu[ "$position" ] ) ) {