1<?php
2function tpl_menu1()
3{
4    global $conf, $ID, $REV, $INFO;
5    print p_wiki_xhtml("menu1", '', false);
6}
7?>