From 7ffd41c859484f6b09d0dc33763bb9a9844ca198 Mon Sep 17 00:00:00 2001
From: jahooma <jahooma@gmail.com>
Date: Mon, 17 Jan 2022 21:02:16 -0600
Subject: [PATCH] Add leaderboards menu option

---
 web/components/profile-menu.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/components/profile-menu.tsx b/web/components/profile-menu.tsx
index 4bbe48c4..b732d059 100644
--- a/web/components/profile-menu.tsx
+++ b/web/components/profile-menu.tsx
@@ -51,6 +51,10 @@ function getNavigationOptions(user: User, options: { mobile: boolean }) {
       name: 'Your markets',
       href: `/${user.username}`,
     },
+    {
+      name: 'Leaderboards',
+      href: '/leaderboards',
+    },
     {
       name: 'Discord',
       href: 'https://discord.gg/eHQBNBqXuh',