tree 343173b6e4eb41c41fb0d525680a9a27d2dad5e0
parent 6e521b67af7ab70578c4e5f4658a215524a751fc
author Luca Milanesio <luca.milanesio@gmail.com> 1446994716 -0800
committer Luca Milanesio <luca.milanesio@gmail.com> 1462572016 +0100

Revamp the UX, introducing the install button

Adds a entry Plugins>Manage to Gerrit Top-Menu if:
- remote plugin management is enabled
- current user has admin permissions

The list of available plugins includes both version + sha1
allowing to match them against the list of loaded plugins.
Plugins that are already installed and loaded are not shown anymore
in the list of the ones available.

Expose the plugin jar URL for installation and leverage that
information from the UX using the HTTP PUT on the Gerrit
/plugin/<name>.jar API

Change-Id: Ie4e6042c0b33bebbd14b515141776bf91e2c4c0b