simple changes

Got rid of menu.html and replaced with menu.php to be able to display a
new menu item for managers.