From 0366836b568f4363aab395e9cbc90ce941911d97 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 13 Nov 2013 09:43:15 +0100
Subject: [PATCH] =?utf8?q?add=20a=20=E2=80=98platforms=E2=80=99=20link=20f?=
 =?utf8?q?or=20logged=20users=20too?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 ui/topmenu.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ui/topmenu.py b/ui/topmenu.py
index 3a94a212..1fc3b4b2 100644
--- a/ui/topmenu.py
+++ b/ui/topmenu.py
@@ -17,6 +17,7 @@ def topmenu_items (current,request=None):
         result.append({'label':'Request a slice', 'href': '/portal/slice_request/'})
         result.append({'label':'Validation', 'href': '/portal/validate/'})
         dropdown = []
+        dropdown.append({'label':'Platforms', 'href': '/portal/platforms/'})
         dropdown.append({'label':'My Account', 'href': '/portal/account/'})
         dropdown.append({'label':'Contact Support', 'href': '/portal/contact/'})
         result.append({'label': 'More', 'href':"#", 'dropdown':True, 'contents':dropdown})
-- 
2.47.0