allow multiple icons to be defined per OS, let user select one in the device settings

git-svn-id: http://www.observium.org/svn/observer/trunk@3146 61d68cd4-352d-0410-923a-c4978735b2b8

html/pages/device/edit.inc.php

@@ -12,6 +12,12 @@ if ($_SESSION['userlevel'] < '7')
   $panes['device']   = 'Device Settings';
   $panes['snmp']     = 'SNMP';
   $panes['ports']    = 'Port Settings';
+
+  if (count($config['os'][$device['os']]['icons']))
+  {
+    $panes['icon']  = 'Icon';
+  }
+
   $panes['apps']     = 'Applications';
   $panes['alerts']   = 'Alerts';
   $panes['modules']  = 'Modules';
@@ -22,7 +28,7 @@ if ($_SESSION['userlevel'] < '7')
   }
 
   $panes['ipmi']     = 'IPMI';
-
+  
   print_optionbar_start();
 
   unset($sep);