Ticket #15796: add_sep_space.diff

wp-admin/menu.php

@@ -118 +118 @@
         }
 
         // if $ptype_menu_position is already populated or will be populated by a hard-coded value below, increment the position.
-        $core_menu_positions = array(59, 60, 65, 70, 75, 80, 85, 99);
+        $core_menu_positions = array(55, 60, 65, 70, 75, 80, 85, 99);
         while ( isset($menu[$ptype_menu_position]) || in_array($ptype_menu_position, $core_menu_positions) )
                 $ptype_menu_position++;
 
@@ -136 +136 @@
 }
 unset($ptype, $ptype_obj, $ptype_class, $ptype_for_id, $ptype_menu_position, $menu_icon, $i, $tax);
 
-$menu[59] = array( '', 'read', 'separator2', '', 'wp-menu-separator' );
+$menu[55] = array( '', 'read', 'separator2', '', 'wp-menu-separator' );
 
 if ( current_user_can( 'switch_themes') ) {
         $menu[60] = array( __('Appearance'), 'switch_themes', 'themes.php', '', 'menu-top menu-icon-appearance', 'menu-appearance', 'div' );