diff --git a/html/pages/device.php b/html/pages/device.php index a86e98dbbb..40d611512a 100644 --- a/html/pages/device.php +++ b/html/pages/device.php @@ -16,6 +16,9 @@ $select[$section] = "selected"; $device_query = mysql_query("SELECT * FROM `devices` WHERE `device_id` = '" . $_GET['id'] . "'"); while($device = mysql_fetch_array($device_query)) { + + if($os_groups[$device['os']]) {$device['os_group'] = $os_groups[$device['os']]; echo "(".$device['os_group'].")";} + echo('