"7") { include("includes/device-ipmi-edit.inc.php"); } } $descr = $device['purpose']; if ($updated && $update_message) { print_message($update_message); } elseif ($update_message) { print_error($update_message); } ?>