The local plugin API seem to offer only
plugin_extends_navigation(global_navigation $navigation)
but not something like
plugin_extends_settings_navigation(settings_navigation $navigation)
Why not? Is there any good reason to prevent local plugins from extending the settings navigation?
I've managed to work around by retrieving the settings_navigation from $PAGE but I get it by key and assume 'usercurrentsettings' which may not hold for all cases.
Any suggestion would be appreciated.