Add Hotjar script to the home page (#20758)

GitOrigin-RevId: b7fdb904702d84058c2e3519b17376083ee9cad7
2026-11-14 22:23:42 +01:00 · 2024-10-14 11:09:26 +00:00
parent b81472329e
commit 7a26d46d7c
6 changed files with 59 additions and 0 deletions
@@ -19,6 +19,8 @@ export type ExposedSettings = {
  hasLinkedProjectOutputFileFeature: boolean
  hasSamlBeta?: boolean
  hasSamlFeature: boolean
+  hotjarId?: string
+  hotjarVersion?: string
  ieeeBrandId: number
  isOverleaf: boolean
  maxEntitiesPerProject: number