WordPress.org

Make WordPress Core

Ticket #24104: menu.php.patch

File menu.php.patch, 615 bytes (added by rilwis, 7 years 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;