';
if (isset($_POST['device_id'])) {
$selected_device = '
';
} else {
$selected_device = $device_id;
$_POST['device_id'] = $device_id;
}
if (isset($_POST['state'])) {
$selected_state = '
';
} else {
$selected_state = '';
$_POST['state'] = -1;
}
if (isset($_POST['min_severity'])) {
$selected_min_severity = '
';
} else {
$selected_min_severity = '';
$_POST['min_severity'] = '';
}
$common_output[] = '
';