commit | ae922a8c8963b1931dc2853fa7b283615350eb13 | [log] [tgz] |
---|---|---|
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