WordPress.org

Make WordPress Core

Ticket #17484: 17484.patch

File 17484.patch, 2.8 KB (added by johnjamesjacoby, 3 years ago)

Patch that addresses original issue and works with existing plugins

  • css/colors-classic.dev.css

     
    12611261        border-color: #bed1dd; 
    12621262} 
    12631263 
    1264 #adminmenu a.separator { 
     1264#adminmenu span.separator { 
    12651265        border-color: #D1E5EE; 
    12661266} 
    12671267 
  • css/colors-fresh.dev.css

     
    12611261        border-color: #cfcfcf; 
    12621262} 
    12631263 
    1264 #adminmenu a.separator { 
     1264#adminmenu span.separator { 
    12651265        border-color: #e1e1e1; 
    12661266} 
    12671267 
  • css/wp-admin.dev.css

     
    13281328        margin: 0; 
    13291329        border-width: 1px 0; 
    13301330        border-style: solid; 
     1331        cursor: inherit; 
    13311332} 
    13321333 
    1333 #adminmenu a.separator { 
     1334#adminmenu span.separator { 
     1335        display: block; 
    13341336        height: 1px; 
    13351337        padding: 0; 
    13361338        border-width: 1px 0 0 0; 
  • menu-header.php

     
    8282 
    8383                echo "\n\t<li$class$id>"; 
    8484 
    85                 if ( $submenu_as_parent && !empty($submenu[$item[2]]) ) { 
     85                if ( false !== strpos( $class, 'wp-menu-separator' ) ) { 
     86                        echo '<span class="separator"></span>'; 
     87                } elseif ( $submenu_as_parent && !empty($submenu[$item[2]]) ) { 
    8688                        $submenu[$item[2]] = array_values($submenu[$item[2]]);  // Re-index. 
    8789                        $menu_hook = get_plugin_page_hook($submenu[$item[2]][0][2], $item[2]); 
    8890                        $menu_file = $submenu[$item[2]][0][2]; 
  • menu.php

     
    6969 
    7070unset($theme_update_count, $wordpress_update_count, $update_themes, $update_plugins, $update_wordpress); 
    7171 
    72 $menu[4] = array( '', 'read', '', '', 'wp-menu-separator' ); 
     72$menu[4] = array( '', 'read', 'separator1', '', 'wp-menu-separator' ); 
    7373 
    7474$menu[5] = array( __('Posts'), 'edit_posts', 'edit.php', '', 'open-if-no-js menu-top menu-icon-post', 'menu-posts', 'div' ); 
    7575        $submenu['edit.php'][5]  = array( __('All Posts'), 'edit_posts', 'edit.php' ); 
     
    152152} 
    153153unset($ptype, $ptype_obj, $ptype_class, $ptype_for_id, $ptype_menu_position, $menu_icon, $i, $tax); 
    154154 
    155 $menu[59] = array( '', 'read', '', '', 'wp-menu-separator' ); 
     155$menu[59] = array( '', 'read', 'separator2', '', 'wp-menu-separator' ); 
    156156 
    157157if ( current_user_can( 'switch_themes') ) { 
    158158        $menu[60] = array( __('Appearance'), 'switch_themes', 'themes.php', '', 'menu-top menu-icon-appearance', 'menu-appearance', 'div' ); 
     
    232232 
    233233$_wp_last_utility_menu = 80; // The index of the last top-level menu in the utility menu group 
    234234 
    235 $menu[99] = array( '', 'read', '', '', 'wp-menu-separator-last' ); 
     235$menu[99] = array( '', 'read', 'separator-last', '', 'wp-menu-separator-last' ); 
    236236 
    237237// Back-compat for old top-levels 
    238238$_wp_real_parent_file['post.php'] = 'edit.php';