Add Google Analytics. (#22)

cvc5 · Jul 11, 2024 · 5790f8a · 5790f8a
1 parent ec1e36d
commit 5790f8a
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/_layouts/default.html b/_layouts/default.html
@@ -12,6 +12,15 @@
     <script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
     <![endif]-->
   </head>
+  <!-- Google tag (gtag.js) -->
+  <script async src="https://www.googletagmanager.com/gtag/js?id=G-ML12X2V35B"></script>
+  <script>
+    window.dataLayer = window.dataLayer || [];
+    function gtag(){dataLayer.push(arguments);}
+    gtag('js', new Date());
+
+    gtag('config', 'G-ML12X2V35B');
+  </script>
   <body>
     <div class="wrapper">
       <header>