2023-11-07 15:10:55 +01:00
|
|
|
/** See `package.json` */
|
|
|
|
export type Pkg= Record<string, string>
|
|
|
|
export type Info= {
|
|
|
|
id: string,
|
2023-11-10 17:15:59 +01:00
|
|
|
href: string,
|
2023-11-07 15:10:55 +01:00
|
|
|
title: string,
|
|
|
|
description: string,
|
|
|
|
}
|
|
|
|
export type Pages=Info[];
|
|
|
|
export type PathTarget= {
|
|
|
|
root: string,
|
|
|
|
css: string
|
|
|
|
}
|
|
|
|
export type registerClientFile= import("../bs/docs.js").registerClientFile;
|
|
|
|
export type PageAttrs= {
|
|
|
|
pkg: Pkg,
|
|
|
|
info: Info,
|
|
|
|
pages: Pages,
|
|
|
|
path_target: PathTarget,
|
|
|
|
registerClientFile: registerClientFile
|
|
|
|
}
|
|
|
|
|
2023-11-08 18:53:22 +01:00
|
|
|
import type { CustomHTMLTestElement } from "../examples/components/webComponent.js";
|
|
|
|
declare global{
|
|
|
|
interface ddePublicElementTagNameMap{
|
|
|
|
["custom-test"]: CustomHTMLTestElement;
|
|
|
|
}
|
2023-11-24 16:16:08 +01:00
|
|
|
function test(): ddeHTMLParagraphElement
|
2023-11-08 18:53:22 +01:00
|
|
|
}
|