Skip to content

Commit 47ff86c

Browse files
authored
Update google_analytics.html
1 parent 31d6777 commit 47ff86c

1 file changed

Lines changed: 1 addition & 11 deletions

File tree

Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1 @@
1-
{{/* Override the problematic Google Analytics template */}}
2-
{{- if site.Config.Services.GoogleAnalytics.ID -}}
3-
<!-- Google Analytics -->
4-
<script async src="https://www.googletagmanager.com/gtag/js?id={{ site.Config.Services.GoogleAnalytics.ID }}"></script>
5-
<script>
6-
window.dataLayer = window.dataLayer || [];
7-
function gtag(){dataLayer.push(arguments);}
8-
gtag('js', new Date());
9-
gtag('config', '{{ site.Config.Services.GoogleAnalytics.ID }}');
10-
</script>
11-
{{- end -}}
1+
<script defer src="https://play.formal-methods.net/analytics/script.js" data-website-id="16b5c7f7-3cba-478d-8caa-4b830e4647c5"></script>Ï

0 commit comments

Comments
 (0)