tree b1fd26f245a8e5f9bde7b5e2480ef3f84b4545c0
parent e42b76d4ba1bedfadbda3d10cb6515a5fcfa987d
author Francois Ferrand <thetypz@gmail.com> 1542896864 +0100
committer Francois Ferrand <thetypz@gmail.com> 1546621761 +0000

Merge top menu items contributed by plugins

Each plugin contributes a list single of menus, which are expected
to be merged in existing top menu entries if they already exist:
as stated in the doc and already implemented in GWT:

 "Plugins can also add additional menu items to Gerrit’s top menu
  entries by defining a MenuEntry that has the same name as a Gerrit
  top menu entry"

Change-Id: I8540b93b71e9c9c1f043e16d2076bade4de9a49a