function defaultimport { default } from "https://dotland.deno.dev/x/fresh@1.1.5/www/routes/update.tsx"; default(props: PageProps)Parametersprops: PageProps