optional printers type in devices menu

git-svn-id: http://www.observium.org/svn/observer/trunk@738 61d68cd4-352d-0410-923a-c4978735b2b8
This commit is contained in:
Tom Laermans
2010-01-28 17:46:41 +00:00
parent a805d51c3a
commit ffcae1f80a
4 changed files with 16 additions and 0 deletions
+8
View File
@@ -50,6 +50,14 @@
<li><a href="devices/server/"><img src="images/16/server.png" border="0" align="absmiddle" /> Servers</a></li>
<li><a href="devices/network/"><img src="images/16/arrow_switch.png" border="0" align="absmiddle" /> Network</a></li>
<li><a href="devices/firewall/"><img src="images/16/shield.png" border="0" align="absmiddle" /> Firewalls</a></li>
<?php
if (isset($config['show_printers']) && $config['show_printers'])
{
?>
<li><a href="devices/printer/"><img src="images/16/printer.png" border="0" align="absmiddle" /> Printers</a></li>
<?php
}
?>
<li><hr width="140" /></li>
<li><a href="devices/alerted/"><img src="images/16/server_error.png" border="0" align="absmiddle" /> Alerts (<?php echo $device_alerts ?>)</a></li>
<?php