chore: Add Portal to footer

MantisClone · MantisClone · commit b7e6bd50fc5b · 2025-09-16T08:02:44.000-04:00
diff --git a/docs.json b/docs.json
@@ -181,6 +181,10 @@
           "label": "Community",
           "href": "https://discord.com/invite/FsVAR3ny3f"
         },
+        {
+          "label": "Portal",
+          "href": "https://portal.request.network"
+        },
         {
           "label": "Scan",
           "href": "https://scan.request.network"
