Ticket #16856: 16856.diff

wp-admin/menu.php

@@ -112 +112 @@
         // Check if it should be a submenu.
         if ( $ptype_obj->show_in_menu !== true )
                 continue;
-        $ptype_menu_position = is_int( $ptype_obj->menu_position ) ? $ptype_obj->menu_position : ++$_wp_last_object_menu; // If we're to use $_wp_last_object_menu, increment it first.
+        $ptype_menu_position = is_numeric( $ptype_obj->menu_position ) ? $ptype_obj->menu_position : ++$_wp_last_object_menu; // If we're to use $_wp_last_object_menu, increment it first.
         $ptype_for_id = sanitize_html_class( $ptype );
         if ( is_string( $ptype_obj->menu_icon ) ) {
                 $menu_icon   = esc_url( $ptype_obj->menu_icon );