add a ‘platforms’ link for logged users too

diff --git a/ui/topmenu.py b/ui/topmenu.py
index 3a94a21..1fc3b4b 100644 (file)
--- 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})