Merge pull request #13 from runtimeverification/add-analytics

add analytics and fix types configs

frontend/.eslintrc.js

@@ -11,5 +11,23 @@ module.exports = {
     sourceType: 'module',
     project: 'tsconfig.json',
     tsconfigRootDir: __dirname
+  },
+  ignorePatterns: [
+    '.eslintrc.js',
+    'codegen.ts',
+    'tailwind.config.js',
+    'postcss.config.js',
+    'gql/**/*.ts',
+    'next.config.js',
+    'next-sitemap.config.js',
+    'public/pdfjs/**/*.js'
+  ],
+  settings: {
+    'import/resolver': {
+      node: {
+        paths: ['src'],
+        extensions: ['.js', '.jsx', '.ts', '.tsx']
+      }
+    }
   }
 };

frontend/components/GlobalScripts.tsx

@@ -4,15 +4,15 @@ const GlobalScripts = () => (
   <>
     {/* Global site tag (gtag.js) - Google Analytics */}
     <Script
-      src="https://www.googletagmanager.com/gtag/js?id=G-W3T2NM9PBS"
+      src="https://www.googletagmanager.com/gtag/js?id=G-8Y4YC08RGV"
       strategy="afterInteractive"
     />
     <Script id="google-analytics" strategy="afterInteractive">
       {`
           window.dataLayer = window.dataLayer || [];
           function gtag(){window.dataLayer.push(arguments);}
           gtag('js', new Date());
-          gtag('config', 'G-W3T2NM9PBS');
+          gtag('config', 'G-8Y4YC08RGV');
         `}
     </Script>
   </>

frontend/package.json

@@ -22,9 +22,6 @@
     "@react-hook/debounce": "^4.0.0",
     "@tanstack/query-core": "^4.29.1",
     "@tippyjs/react": "^4.2.6",
-    "@types/react": "18.0.26",
-    "@types/react-dom": "18.0.10",
-    "@typescript-eslint/eslint-plugin": "^5.49.0",
     "@use-it/interval": "^1.0.0",
     "animate.css": "^4.1.1",
     "classnames": "^2.3.2",
@@ -39,7 +36,7 @@
     "jotai": "^2.0.4",
     "jotai-tanstack-query": "^0.7.0",
     "markdown-it": "^13.0.1",
-    "next": "13.1.2",
+    "next": "13.5.6",
     "next-sitemap": "^3.1.48",
     "react": "18.2.0",
     "react-dom": "18.2.0",
@@ -75,17 +72,20 @@
     "@types/react-syntax-highlighter": "^15.5.6",
     "@types/react-table": "^7.7.14",
     "@types/toastr": "^2.1.40",
+    "@types/react": "^18.2.34",
+    "@types/react-dom": "^18.2.14",
+    "@typescript-eslint/eslint-plugin": "^6.9.1",
     "autoprefixer": "^10.4.13",
     "concurrently": "^7.6.0",
     "cpy-cli": "5.0.0",
     "eslint-config-airbnb": "^19.0.4",
-    "eslint-config-prettier": "^8.6.0",
+    "eslint-config-prettier": "^9.0.0",
     "eslint-config-rv-web-nextjs": "git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master",
     "eslint-plugin-jsx-a11y": "^6.7.1",
-    "eslint-plugin-prettier": "^4.2.1",
+    "eslint-plugin-prettier": "^5.0.1",
     "husky": "^8.0.3",
     "postcss": "^8.4.21",
-    "prettier": "^2.8.3",
+    "prettier": "^3.0.3",
     "tailwindcss": "^3.2.4",
     "ts-node": "^10.9.1"
   },

frontend/tsconfig.json

@@ -1,6 +1,6 @@
 {
   "compilerOptions": {
-    "target": "es2017",
+    "target": "es5",
     "lib": ["dom", "dom.iterable", "esnext"],
     "allowJs": true,
     "skipLibCheck": true,
@@ -19,6 +19,6 @@
       "@/*": ["./*"]
     }
   },
-  "include": ["next-env.d.ts", "tailwind.config.js", "**/*.ts", "**/*.tsx"],
+  "include": ["next-env.d.ts", "**/*.ts", "**/*.tsx"],
   "exclude": ["node_modules"]
 }