Ticket #17484: 17484.patch

css/colors-classic.dev.css

@@ -1261 +1261 @@
         border-color: #bed1dd;
 }
 
-#adminmenu a.separator {
+#adminmenu span.separator {
         border-color: #D1E5EE;
 }
 

css/colors-fresh.dev.css

@@ -1261 +1261 @@
         border-color: #cfcfcf;
 }
 
-#adminmenu a.separator {
+#adminmenu span.separator {
         border-color: #e1e1e1;
 }
 

css/wp-admin.dev.css

@@ -1328 +1328 @@
         margin: 0;
         border-width: 1px 0;
         border-style: solid;
+        cursor: inherit;
 }
 
-#adminmenu a.separator {
+#adminmenu span.separator {
+        display: block;
         height: 1px;
         padding: 0;
         border-width: 1px 0 0 0;

menu-header.php

@@ -82 +82 @@
 
                 echo "\n\t<li$class$id>";
 
-                if ( $submenu_as_parent && !empty($submenu[$item[2]]) ) {
+                if ( false !== strpos( $class, 'wp-menu-separator' ) ) {
+                        echo '<span class="separator"></span>';
+                } elseif ( $submenu_as_parent && !empty($submenu[$item[2]]) ) {
                         $submenu[$item[2]] = array_values($submenu[$item[2]]);  // Re-index.
                         $menu_hook = get_plugin_page_hook($submenu[$item[2]][0][2], $item[2]);
                         $menu_file = $submenu[$item[2]][0][2];

menu.php

@@ -69 +69 @@
 
 unset($theme_update_count, $wordpress_update_count, $update_themes, $update_plugins, $update_wordpress);
 
-$menu[4] = array( '', 'read', '', '', 'wp-menu-separator' );
+$menu[4] = array( '', 'read', 'separator1', '', 'wp-menu-separator' );
 
 $menu[5] = array( __('Posts'), 'edit_posts', 'edit.php', '', 'open-if-no-js menu-top menu-icon-post', 'menu-posts', 'div' );
         $submenu['edit.php'][5]  = array( __('All Posts'), 'edit_posts', 'edit.php' );
@@ -152 +152 @@
 }
 unset($ptype, $ptype_obj, $ptype_class, $ptype_for_id, $ptype_menu_position, $menu_icon, $i, $tax);
 
-$menu[59] = array( '', 'read', '', '', 'wp-menu-separator' );
+$menu[59] = 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' );
@@ -232 +232 @@
 
 $_wp_last_utility_menu = 80; // The index of the last top-level menu in the utility menu group
 
-$menu[99] = array( '', 'read', '', '', 'wp-menu-separator-last' );
+$menu[99] = array( '', 'read', 'separator-last', '', 'wp-menu-separator-last' );
 
 // Back-compat for old top-levels
 $_wp_real_parent_file['post.php'] = 'edit.php';