Comment 3 for bug 1372536

I could imagine that there are plugins who add submenu items to the user settings, which are part of the right nav menu. I'll see if I can include those submenu-entries but skip all top-level items when calling menu_items for the right-nav and then add a function to the three plugin types to add to the right nav menu. That would mean two ways to add elements to the right-nav menu for the moment, but it wouldn't break any existing plugin.
In how far do we support plugins that are not listed under https://wiki.mahara.org/index.php/Plugins ? We could skip the workaround when starting the work on 1.11 so developers will have enough time to fix their plugins. And I'll have a look at the plugin list in the wiki.