assign("theme", new Theme($_GET["id"])); return "admin/export_theme";