add_menu_page() improvement

[Denis-de-Bernardy]

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.

I think the menu looks too busy with the separators. I like all plugin-added top-levels being in a menu group together. I'll get some feedback from the design folks.

11. close as wontfix if someone reads this in 3 months, then. :-)

for what it's worth though, I initially came up into this one when designing my membership manager plugin. it has 6+ submenus and counting. so the separator was more or less in order.