r2271 show error message on port discovery page if PHP SNMP module isn't loaded....