Fixes #3838: Adds ability to define a divider when declaring a menu item

from a plugin.