.+?) \(SonicOS( [^\d]\S+)? (?\d\S+?)\)/i'; //$config['os'][$os]['mibs'][] = "SONICWALL-FIREWALL-IP-STATISTICS-MIB"; $config['os'][$os]['mibs'][] = "SO-MUX-MIB"; //$config['os'][$os]['group'] = "unix"; // EOF