Menu system

The page heading, menu and bottom links are generated by PHP calls in the beginning and end of each document. Be sure to include this code on all pages. Use this page, or any other existing page, as a template.

The menu structure is defined by the file menu.txt which only teachers have access to edit. There is one menu for general instructions (like this page), and one for each subject. When you want to add a page to the menu system, then use an existing page as a template, change the text, and name it whatever.php. Add a line in the menu.txt file to get your new page on the menu. The syntax for the menu file is:

Each line defines a menu entry, containing:

• First a number of dots to define the level
• Then the text
• Then the absolute path to the file
• Then a bookmark, if any, e.g. #0
• Then a + if the file is within the same menu system

These texts are separated by |
Use an existing line as template and change the text and filename.

When you download a page for editing, it is important that you retrieve the file by FTP rather than by HTTP in order to preserve the PHP codes.

This page was last modified 2008-Dec-08