prefs);
parse_str(getenv("QUERY_STRING"));
$i = project_index($prefs, $master_url);
array_splice($prefs->projects, $i, 1);
prefs_update($user, $prefs);
echo "Project $master_url deleted";
prefs_form_projects($prefs);
echo "
";
echo "Back to preferences\n";
}
echo "\n";
page_tail();
?>