path: root/plugins/plugin-manager/org-gnome-plugin-manager.xml

<Root>
  <commands>
    <cmd name="EPluginManagerManage" _label="Plugins"
      _tip="Enable and disable plugins"/>
  </commands>

  <menu>
    <submenu name="Edit">
      <placeholder name="PluginManagerPlaceholder">
        <menuitem name="EPluginManagerManage" verb=""/>
      </placeholder>
    </submenu>

  </menu>
</Root>