export default [
  ['plugin_tools_panel_tools_settings_group', 'Tools'],
  ['plugin_tools_panel_settings_disable_label', 'Disable Tools'],
  ['plugin_tools_panel_settings_disable_description', 'Removes Tools menu from the top menu bar'],
  ['plugin_tools_panel_menu_title', 'Strumenti'],
];
