Add external link to Manifold in more menu

This commit is contained in:
James Grugett 2022-08-07 23:39:48 -07:00
parent b6b670214d
commit 272d5ec2e2

View File

@ -51,6 +51,7 @@ function getNavigation() {
function getMoreNavigation(user?: User | null) { function getMoreNavigation(user?: User | null) {
if (IS_PRIVATE_MANIFOLD) { if (IS_PRIVATE_MANIFOLD) {
return [ return [
{ name: 'Manifold Markets', href: 'https://manifold.markets' },
{ {
name: 'Sign out', name: 'Sign out',
href: '#', href: '#',
@ -140,7 +141,7 @@ const signedInMobileNavigation = [
function getMoreMobileNav() { function getMoreMobileNav() {
return [ return [
...(IS_PRIVATE_MANIFOLD ...(IS_PRIVATE_MANIFOLD
? [] ? [{ name: 'Manifold Markets', href: 'https://manifold.markets' }]
: CHALLENGES_ENABLED : CHALLENGES_ENABLED
? [ ? [
{ name: 'Challenges', href: '/challenges' }, { name: 'Challenges', href: '/challenges' },