##// END OF EJS Templates
top menu: show user menu as a menu option like others, now also with login name...
Mads Kiilerich -
r3205:f01540c6 beta
Show More