commit: ae922a8c8963b1931dc2853fa7b283615350eb13
[log]
author: Luca Milanesio <luca.milanesio@gmail.com>
Sun Aug 20 09:04:40 2017 +0100
committer: Luca Milanesio <luca.milanesio@gmail.com>
Wed Aug 23 07:00:24 2017 +0000
tree: aa64867f532d123421b3350b4cd11b671ef6b8a9
parent: ab489b594bf92a97999c8e810683ae2f40816523 [diff]

Use PermissionBackend for plugins management

Rely on the new PermissionBackend interface for detecting whether
to enable or not the menus and functionalities of the Plugin Manager.

Change-Id: Ie3ce2874ae3e3940c932b39c8c312c5ef1e74dcd

3 files changed

tree: aa64867f532d123421b3350b4cd11b671ef6b8a9

README.md

plugin-manager

Gerrit web-based plugin manager