web: Switch to Zod mini API.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2025-06-13 15:34:31 -07:00
committed by Tim Abbott
parent cb28bff831
commit a29ed94e5b
110 changed files with 126 additions and 121 deletions

View File

@@ -10,7 +10,7 @@ import type {Browser, ConsoleMessage, ConsoleMessageLocation, ElementHandle, Pag
import puppeteer from "puppeteer";
import StackFrame from "stackframe";
import StackTraceGPS from "stacktrace-gps";
import {z} from "zod";
import * as z from "zod/mini";
const root_dir = url.fileURLToPath(new URL("../../..", import.meta.url));
const puppeteer_dir = path.join(root_dir, "var/puppeteer");