4.3. Menus

Alterations to the WebTool menus need to be made in the /lib/WebTool/UI/Std.pm library. Currently the menu is hardcoded in this library, as part of the make_page_menu function.