(version: string)
| 11 | }); |
| 12 | |
| 13 | function setBuildInfoVersion(version: string) { |
| 14 | const meta = document.createElement("meta"); |
| 15 | meta.setAttribute("property", "build-info"); |
| 16 | meta.setAttribute("content", JSON.stringify({ version })); |
| 17 | document.head.appendChild(meta); |
| 18 | } |
| 19 | |
| 20 | async function getDocsUrl(path: string): Promise<string> { |
| 21 | // Dynamic import so we get a fresh module with cleared caches. |