• Robert Ricci's avatar
    Added a view option to PAGEFOOTER() · db875fd8
    Robert Ricci authored
    Added GETUSERVIEW(), which determines the current user's default view
    - either the normal one, or the planetlab one.
    
    Add a logout botton to WRITEPLABTOPBAR()
    
    Added an 'Approve users' button to WRITEPLABTOPBAR()
    
    Added WRITEPLABBOTTOMBAR() to put some stuff for planetlab users across the
    bottom of the page.
    db875fd8
menu.php3 25.2 KB