Add leaderboards menu option

2022-01-17 21:02:16 -06:00 · 2022-01-17 21:02:16 -06:00 · 7ffd41c859
commit 7ffd41c859
parent df2f8046b0
1 changed files with 4 additions and 0 deletions
--- 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',