/*
* If the string 'none' (previously 'div') is passed instead of an URL, don't output
* the default menu image so an icon can be added to div.wp-menu-image as background
/*
* If the string 'none' (previously 'div') is passed instead of an URL, don't output
* the default menu image so an icon can be added to div.wp-menu-image as background
echo '<div class="separator"></div>';
} elseif ( $submenu_as_parent && ! empty( $submenu_items ) ) {
$submenu_items = array_values( $submenu_items ); // Re-index.
echo '<div class="separator"></div>';
} elseif ( $submenu_as_parent && ! empty( $submenu_items ) ) {
$submenu_items = array_values( $submenu_items ); // Re-index.