Drop-down menus are a useful way to present a number of links to students and teachers in an easily accessible fashion.
This patch adds a database table (mdl_menu);
a lib.php file to /themes/;
an editor for the menu items (/themes/menu.php);
an example of implementation in a theme header (header.html)