Ticket #24104: menu.php.patch

wp-admin/includes/menu.php

@@ -124 +124 @@
 // Remove any duplicated separators
 $separator_found = false;
 foreach ( $menu as $id => $data ) {
-        if ( 0 == strcmp('wp-menu-separator', $data[4] ) ) {
+        if ( false !== strpos( $data[4], 'wp-menu-separator' ) ) {
                 if (false == $separator_found) {
                         $separator_found = true;
                 } else {
                         unset($menu[$id]);
-                        $separator_found = false;
                 }
         } else {
                 $separator_found = false;