Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add Permissions dev tool; improve dev tool navigation. (#3899) (details)
Commit ec0fafd87c482981c742c89a512aa769614c9790 by noreply
Add Permissions dev tool; improve dev tool navigation. (#3899)

The file was modifiedthemes/bootstrap5/templates/devtools/deminify.phtml (diff)
The file was modifiedmodule/VuFind/tests/unit-tests/src/VuFindTest/Role/PermissionManagerTest.php (diff)
The file was addedthemes/bootstrap3/templates/devtools/permissions.phtml
The file was modifiedthemes/bootstrap3/templates/devtools/icon.phtml (diff)
The file was modifiedthemes/bootstrap3/templates/devtools/home.phtml (diff)
The file was modifiedthemes/bootstrap3/templates/devtools/deminify.phtml (diff)
The file was modifiedmodule/VuFindDevTools/src/VuFindDevTools/Controller/DevtoolsController.php (diff)
The file was modifiedthemes/bootstrap5/templates/devtools/icon.phtml (diff)
The file was modifiedmodule/VuFindDevTools/config/module.config.php (diff)
The file was modifiedmodule/VuFind/src/VuFind/Role/PermissionManager.php (diff)
The file was modifiedthemes/bootstrap3/templates/devtools/language.phtml (diff)
The file was modifiedthemes/bootstrap5/templates/devtools/home.phtml (diff)
The file was modifiedthemes/bootstrap5/templates/devtools/language.phtml (diff)
The file was addedthemes/bootstrap5/templates/devtools/permissions.phtml