id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc
9414,add_menu_page() improvement,Denis-de-Bernardy,anonymous,"Currently, there is no means to add a new separator to the WP menu without inserting it ""manually"" by editing the $menu variable.

It would be neat if, instead of the various lines in the $menu variable that add the separator, WP would determine that a new top level new menu item should always be preceded by a separator if part of the menu has been displayed already.

Alternatively, add_menu_page() and other functions such functions could insert the separator on the fly.",enhancement,closed,normal,,Administration,2.7.1,minor,wontfix,has-patch tested,