diff --git a/app/devices/device_profile_edit.php b/app/devices/device_profile_edit.php
index 0657c66130..17430977c0 100644
--- a/app/devices/device_profile_edit.php
+++ b/app/devices/device_profile_edit.php
@@ -295,7 +295,7 @@
echo "
".$text['label-device_key_type']." | \n";
echo " ".$text['label-device_key_line']." | \n";
echo " ".$text['label-device_key_value']." | \n";
- if (permission_exists('device_key_extension') {
+ if (permission_exists('device_key_extension')) {
echo " ".$text['label-device_key_extension']." | \n";
}
echo " ".$text['label-device_key_label']." | \n";
@@ -320,7 +320,9 @@
}
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";
@@ -754,4 +756,5 @@
//show the footer
require_once "resources/footer.php";
+
?>