";
	foreach ($values as $v) {
		if ($v == $default)
			$sel = "selected=\"1\"";
		else
			$sel = "";
		$v = trim($v);
		print "";
	}
	print "";
}
function print_select_hash($id, $default, $values, $attributes = "", $name = "") {
	if (!$name) $name = $id;
	print "";
}
function print_hidden($name, $value) {
	print "";
}
function print_checkbox($id, $checked, $value = "", $attributes = "") {
	$checked_str = $checked ? "checked" : "";
	$value_str = $value ? "value=\"$value\"" : "";
	print "";
}
function print_button($type, $value, $attributes = "") {
	print "
";
}
function print_radio($id, $default, $true_is, $values, $attributes = "") {
	foreach ($values as $v) {
		if ($v == $default)
			$sel = "checked";
		else
			$sel = "";
		if ($v == $true_is) {
			$sel .= " value=\"1\"";
		} else {
			$sel .= " value=\"0\"";
		}
		print " $v ";
	}
}
function print_feed_multi_select($id, $default_ids = [],
						   $attributes = "", $include_all_feeds = true,
						   $root_id = null, $nest_level = 0) {
	$pdo = DB::pdo();
	print_r(in_array("CAT:6",$default_ids));
	if (!$root_id) {
		print "";
	}
}
function print_feed_cat_select($id, $default_id,
							   $attributes, $include_all_cats = true, $root_id = null, $nest_level = 0) {
	if (!$root_id) {
		print "";
	}
}
function stylesheet_tag($filename, $id = false) {
	$timestamp = filemtime($filename);
	$id_part = $id ? "id=\"$id\"" : "";
	return "\n";
}
function javascript_tag($filename) {
	$query = "";
	if (!(strpos($filename, "?") === FALSE)) {
		$query = substr($filename, strpos($filename, "?")+1);
		$filename = substr($filename, 0, strpos($filename, "?"));
	}
	$timestamp = filemtime($filename);
	if ($query) $timestamp .= "&$query";
	return "\n";
}
function format_warning($msg, $id = "") {
	return "
$msg
";
}
function format_notice($msg, $id = "") {
	return "$msg
";
}
function format_error($msg, $id = "") {
	return "$msg
";
}
function print_notice($msg) {
	return print format_notice($msg);
}
function print_warning($msg) {
	return print format_warning($msg);
}
function print_error($msg) {
	return print format_error($msg);
}
function format_inline_player($url, $ctype) {
	$entry = "";
	$url = htmlspecialchars($url);
	if (strpos($ctype, "audio/") === 0) {
		$entry .= "";
		if ($_SESSION["hasAudio"] && (strpos($ctype, "ogg") !== false ||
				$_SESSION["hasMp3"])) {
			$entry .= "
 ";
		}
		if ($entry) $entry .= "
" . basename($url) . "";
		$entry .= "