From 8010410ef7a450cb01c4653050150092e4520ddd Mon Sep 17 00:00:00 2001 From: FusionPBX Date: Thu, 28 Jul 2016 15:54:53 -0600 Subject: [PATCH] Update device_profile_edit.php --- app/devices/device_profile_edit.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/devices/device_profile_edit.php b/app/devices/device_profile_edit.php index 8474490339..0657c66130 100644 --- a/app/devices/device_profile_edit.php +++ b/app/devices/device_profile_edit.php @@ -660,7 +660,7 @@ echo " \n"; echo "\n"; - if (permission_exists('device_key_extension') { + if (permission_exists('device_key_extension')) { echo "\n"; echo " \n"; echo "\n";