From 6fc2124433032175fb3dcc0ecf56fb1eacc90153 Mon Sep 17 00:00:00 2001
From: AlexanderDCrane <40072887+AlexanderDCrane@users.noreply.github.com>
Date: Fri, 31 Aug 2018 12:21:23 -0600
Subject: [PATCH] Update device_profile_edit.php (#3371)
---
app/devices/device_profile_edit.php | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/app/devices/device_profile_edit.php b/app/devices/device_profile_edit.php
index e5c0cb05b0..8314c37594 100644
--- a/app/devices/device_profile_edit.php
+++ b/app/devices/device_profile_edit.php
@@ -332,7 +332,7 @@
echo "\n";
echo "
\n";
echo " \n";
- echo " \n";
+ echo " \n";
echo " \n";
echo " | \n";
echo "\n";
@@ -342,7 +342,7 @@
echo " ".$text['label-profile_name']."\n";
echo "\n";
echo "\n";
- echo " \n";
+ echo " \n";
echo " \n";
echo $text['description-profile_name']."\n";
echo " | \n";
@@ -502,7 +502,7 @@
$selected = "selected='selected'";
}
if (strlen($vendor['name']) > 0) {
- echo " \n";
+ echo " \n";
}
}
echo "\n";
@@ -516,17 +516,17 @@
foreach ($vendor_functions as $function) {
if (strlen($row['device_key_vendor']) == 0 && $function['vendor_name'] != $previous_vendor) {
if ($i > 0) { echo " \n"; }
- echo "