$ppp) { ?>
$port) { if ($port != get_real_interface($port) && $ppp['type'] != "ppp") { $portlist[$portid] = convert_friendly_interface_to_friendly_descr($port); } } echo htmlspecialchars(implode(",", $portlist)); ?>