- result.append({'label':'My Account', 'href': '/portal/account/'})
- result.append({'label':'Contact Support', 'href': '/portal/contact/'})
-# Not really useful at this point, is it ?
-# This should probably go into dashboard at some point
-# result.append({'label':'Platforms', 'href': '/portal/platforms/'})
-# the code for building a dropdown instead - but somehow this is broken
-# dropdown = [ {'label':'..', 'href': '..'}, ...]
-# result.append({'label': 'More', 'href':"#", 'dropdown':True, 'contents':dropdown})
+ dropdown = []
+ 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})