Index: wp-admin/includes/menu.php
===================================================================
--- wp-admin/includes/menu.php	(revision 24000)
+++ wp-admin/includes/menu.php	(working copy)
@@ -124,12 +124,11 @@
 // 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;
