Insert separator in Settings menu, after Miscellaneous

[demetris]

Since after Miscellaneous:

1. A different set of menu items starts (for settings not in the core)

2. The sorting method changes (to alphabetical)

... I think a separator would be a helpful visual indicator of this.

Maybe it’s not very simple to implement, since a check would be needed, to avoid having a redundant separator when there are no menu items for plugin settings (and so Miscellaneous is the last item).

[azaozz]

There is already a separator there, but without the fold/unfold arrow.

[demetris]

Maybe I wasn’t clear enough. There is no separator at the place I’m talking about.

See attached screenshot. I circumscribed the two groups of items.

[azaozz]

You meant a separator in the sub-menu, thanks for clarifying. I'm -1 on this. The idea in WordPress is to seamlessly integrate all plugins, don't think we should separate sub-menus provided by plugins from core menus. This decision is for the plugins authors.

[demetris]

But the two groups of settings are already separated:

1. WordPress settings, sorted in some kind of logical order
2. Plugins settings, sorted in alphabetical order

I don’t mean separation in different boxes -- just a 1-pixel line or border, or something like that, running across the box, below “Miscellaneous”, just to help the eye scan quicker: where the one group ends, and where the other starts.

[Denis-de-Bernardy]

-1 for this as well. if I want the options somewhere else, I place them somewhere else. Plus, I'm certainly not the only one who would be worried about backward compat -- I've at least two plugins that mess around with the admin menu variables directly, from lack of any better options.