diff --git a/app/extensions/extension_edit.php b/app/extensions/extension_edit.php index 79fcfd7d06..ef1e336100 100644 --- a/app/extensions/extension_edit.php +++ b/app/extensions/extension_edit.php @@ -1274,7 +1274,7 @@ echo "\n"; } - if (permission_exists('device_edit')) { + if (permission_exists('device_edit') && (empty($extension_type) || $extension_type != 'virtual')) { if (is_dir($_SERVER["DOCUMENT_ROOT"].PROJECT_PATH.'/app/devices')) { echo "\n"; echo "\n";