From 17e921c140bd23ea3f127464083c33d5d3182bcd Mon Sep 17 00:00:00 2001 From: markjcrane Date: Fri, 10 Jun 2016 11:02:17 -0600 Subject: [PATCH] Change the permission name from device_username to device_user. --- app/devices/app_config.php | 2 +- app/devices/device_edit.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/devices/app_config.php b/app/devices/app_config.php index 0dfb63bce6..d752e92f10 100644 --- a/app/devices/app_config.php +++ b/app/devices/app_config.php @@ -127,7 +127,7 @@ $apps[$x]['permissions'][$y]['groups'][] = 'superadmin'; $apps[$x]['permissions'][$y]['groups'][] = 'admin'; $y++; - $apps[$x]['permissions'][$y]['name'] = 'device_username'; + $apps[$x]['permissions'][$y]['name'] = 'device_user'; $apps[$x]['permissions'][$y]['groups'][] = 'superadmin'; $apps[$x]['permissions'][$y]['groups'][] = 'admin'; $y++; diff --git a/app/devices/device_edit.php b/app/devices/device_edit.php index f9c081d4a8..c37563b230 100644 --- a/app/devices/device_edit.php +++ b/app/devices/device_edit.php @@ -1346,7 +1346,7 @@ require_once "resources/require.php"; echo " \n"; } - if (permission_exists('device_username')) { + if (permission_exists('device_user')) { echo "\n"; echo "\n"; echo " ".$text['label-user']."\n";