- plugins: type for listed plugins on blue key is selectable

* add mainmenu items for tools and lua-extensions
  (default not visible)
* add usermenu items for tools and lua-extensions
  (default off)

src/system/locals_intern.h

@@ -767,6 +767,7 @@ const char * locale_real_names[] =
 	"mainmenu.clearsectionsd",
 	"mainmenu.games",
 	"mainmenu.head",
+	"mainmenu.lua",
 	"mainmenu.media",
 	"mainmenu.movieplayer",
 	"mainmenu.pausesectionsd",
@@ -783,6 +784,7 @@ const char * locale_real_names[] =
 	"mainmenu.shutdown_menu",
 	"mainmenu.sleeptimer",
 	"mainmenu.standby",
+	"mainmenu.tools",
 	"mainmenu.tvmode",
 	"mainmenu.tvradio_switch",
 	"mainsettings.audio",
@@ -980,6 +982,7 @@ const char * locale_real_names[] =
 	"menu.hint_leds_standby",
 	"menu.hint_leds_tv",
 	"menu.hint_load",
+	"menu.hint_lua",
 	"menu.hint_make_hdlist",
 	"menu.hint_make_newlist",
 	"menu.hint_make_removedlist",
@@ -1192,6 +1195,7 @@ const char * locale_real_names[] =
 	"menu.hint_timeouts",
 	"menu.hint_timers",
 	"menu.hint_timezone",
+	"menu.hint_tools",
 	"menu.hint_tvmode",
 	"menu.hint_tvradio_switch",
 	"menu.hint_vfd",
@@ -1634,6 +1638,7 @@ const char * locale_real_names[] =
 	"personalize.pinprotect",
 	"personalize.pinstatus",
 	"personalize.plugins",
+	"personalize.usermenu_plugin_type",
 	"personalize.usermenu_preferred_buttons",
 	"personalize.usermenu_show_cancel",
 	"personalize.visible",