tree aa64867f532d123421b3350b4cd11b671ef6b8a9
parent ab489b594bf92a97999c8e810683ae2f40816523
author Luca Milanesio <luca.milanesio@gmail.com> 1503216280 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1503471624 +0000

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