_menu.php 372 Bytes
Newer Older
1 2 3 4 5 6 7 8
<ul>
  <li id="first"><?php echo link_to('home', '@homepage'); ?></li>
  <li><?php echo link_to('about', '@about'); ?></li>
  <li><?php echo link_to('download', '@download'); ?></li>
  <li><?php echo link_to('manual', '@manual'); ?></li>
  <li><?php echo link_to('api docs', '@api_documentation'); ?></li>
  <li id="last"><?php echo link_to('trac', '@trac'); ?></li>
</ul>