WordPress.org

Make WordPress Core

Ticket #24104: menu.php.patch

File menu.php.patch, 615 bytes (added by rilwis, 12 months ago)
  • wp-admin/includes/menu.php

     
    124124// Remove any duplicated separators 
    125125$separator_found = false; 
    126126foreach ( $menu as $id => $data ) { 
    127         if ( 0 == strcmp('wp-menu-separator', $data[4] ) ) { 
     127        if ( false !== strpos( $data[4], 'wp-menu-separator' ) ) { 
    128128                if (false == $separator_found) { 
    129129                        $separator_found = true; 
    130130                } else { 
    131131                        unset($menu[$id]); 
    132                         $separator_found = false; 
    133132                } 
    134133        } else { 
    135134                $separator_found = false;