The local plugin API seem to offer only
but not something like
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.