From b23a3c26fce55bf903007d8983876107865d8dae Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Mon, 9 Jul 2018 11:07:16 -0400
Subject: [PATCH] Remove unused variable.
---
module/VuFind/src/VuFind/Role/PermissionManager.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/module/VuFind/src/VuFind/Role/PermissionManager.php b/module/VuFind/src/VuFind/Role/PermissionManager.php
index 62c6f403566..e9f6c377d79 100644
--- a/module/VuFind/src/VuFind/Role/PermissionManager.php
+++ b/module/VuFind/src/VuFind/Role/PermissionManager.php
@@ -93,7 +93,7 @@ class PermissionManager
*/
public function permissionRuleExists($context)
{
- foreach ($this->config as $key => $value) {
+ foreach ($this->config as $value) {
if (!isset($value['permission'])) {
continue;
}
--
GitLab