diff --git a/app/devices/device_edit.php b/app/devices/device_edit.php index 62c3d7e4aa..d5210f41ef 100644 --- a/app/devices/device_edit.php +++ b/app/devices/device_edit.php @@ -967,7 +967,9 @@ echo " ".$text['label-device_key_type']."\n"; echo " ".$text['label-device_key_line']."\n"; echo " ".$text['label-device_key_value']."\n"; - echo " ".$text['label-device_key_extension']."\n"; + if (permission_exists('device_key_extension')) { + echo " ".$text['label-device_key_extension']."\n"; + } echo " ".$text['label-device_key_label']."\n"; echo "  \n"; echo " \n";