Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add session key permission provider (#3882) (details)
Commit 56d75dd06f4199020dce0be6289c4359c76b8574 by noreply
Add session key permission provider (#3882)

- Includes refactoring to make permission provider plugin manager a stand-alone service.
- Includes development tool to demonstrate use of the provider.

Sponsored-by: Auckland University of Technology, New Zealand
Co-authored-by: Demian Katz <demian.katz@villanova.edu>
The file was addedmodule/VuFind/src/VuFind/Role/PermissionProvider/SessionKeyFactory.php
The file was modifiedconfig/vufind/permissions.ini (diff)
The file was modifiedmodule/VuFind/src/VuFind/Role/PermissionProvider/PluginManager.php (diff)
The file was addedmodule/VuFind/src/VuFind/Role/PermissionProvider/PluginManagerFactory.php
The file was modifiedthemes/bootstrap5/templates/devtools/permissions.phtml (diff)
The file was modifiedmodule/VuFind/src/VuFind/Role/DynamicRoleProviderFactory.php (diff)
The file was addedmodule/VuFind/src/VuFind/Role/PermissionProvider/SessionKey.php
The file was modifiedmodule/VuFindDevTools/src/VuFindDevTools/Controller/DevtoolsController.php (diff)
The file was modifiedthemes/bootstrap3/templates/devtools/permissions.phtml (diff)
The file was modifiedmodule/VuFind/config/module.config.php (diff)